Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2001 (1) 2006 (1) 2008 (2) 2009 (2)
Publication types (Num. hits)
article(5) inproceedings(1)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(5) Proof Theory in Computer Scien...(1)
Authors
Christoph Schubert(1) Eric Richard Zenk(1) H.-P. Butzmann(1) Hai-Yang Li(1) Hartmut Ehrig(1) Jorge Martinez 0001(1) Kosta Dosen(1) Leen Lambers(1) Mojgan Mahmoudi(1) R. Beattie(1) Sheng-Gang Li(1) Ulrike Prange(1) Walter Tholen(1) Zoran Petric(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords
Results
Found 6 publication records. Showing 6 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
27Jorge Martinez 0001, Eric Richard Zenk Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) Primary 06D22, Secondary 18A20 - 18A30
27Sheng-Gang Li, Hai-Yang Li Some Properties of Categories CL and CLPair. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 06B35, 18A30
27R. Beattie, H.-P. Butzmann Continuous Duality of Limits and Colimits of Topological Abelian Groups. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 43A40, 18A30, 54A20
27Ulrike Prange, Hartmut Ehrig, Leen Lambers Construction and Properties of Adhesive and Weak Adhesive High-Level Replacement Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 18A05, 18A30, 18A32, 18C10, 18D99
27Mojgan Mahmoudi, Christoph Schubert, Walter Tholen Universality of Coproducts in Categories of Lax Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification 18C99, 18A30
Displaying result #1 - #6 of 6 (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