Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for 18A15 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (1) 2002 (1) 2007 (1) 2009 (1)
Publication types (Num. hits)
article(3) inproceedings(1)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(2) Arch. Math. Log.(1) Proof Theory in Computer Scien...(1)
Authors
Albert Visser(1) Giovanna D'Agostino(1) Kosta Dosen(1) M. V. Mielke(1) Mark Weber(1) S. N. Hosseini(1) Zoran Petric(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
60Kosta Dosen, Zoran Petric Coherent Bicartesian and Sesquicartesian Categories. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF categorial proof theory, conjunction and disjunction, decidability of equality of deductions Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03F05
31S. N. Hosseini, M. V. Mielke Universal Monos in Partial Morphism Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A15, 18A20, 18B99, 18D15
31Mark Weber Yoneda Structures from 2-toposes. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A05, 18A15, 18B25, 18D05
30Giovanna D'Agostino, Albert Visser Finality regained: A coalgebraic study of Scott-sets and multisets. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license