|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 8 keywords
|
|
|
Results
Found 21 publication records. Showing 21 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
71 | M. G. Charalambous |
Direct Constructions of the Paracompact Coreflections of Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(5), pp. 521-530, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
coreflection, cover regular, Lindelöf and paracompact frame, regular, normal, compact, nearness |
50 | Manfred Droste, R. M. Shortt |
From Petri Nets to Automata with Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(2), pp. 173-191, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automaton with concurrency relations, place/transition systems, conditional coproduct, coreflection, Petri net, adjunction |
41 | Jorge Martinez 0001, Eric Richard Zenk |
Epicompletion in Frames with Skeletal Maps, II: Compact Normal Joinfit Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(5), pp. 467-486, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) Primary 06D22, Secondary 18A20 - 18A30 |
41 | Bernhard Banaschewski, Christopher Gilmour |
Realcompactness and the Cozero Part of a Frame. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 395-417, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
realcompact, Lindelöf, cozero, zero-dimensional, frame, frame |
40 | Maria Emilia Maietti, Silvio Valentini |
A structural investigation on formal topology: coreflection of formal covers and exponentiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 69(4), pp. 967-1005, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
40 | Martín Hötzel Escardó |
On the Compact-regular Coreflection of a Stably Locally Compact Locale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 213-228, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
40 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
Unfolding of Double-Pushout Graph Grammars is a Coreflection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAGT ![In: Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers, pp. 145-163, 1998, Springer, 3-540-67203-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Worthen Hunsaker, Jorge Picado |
Frames with Transitive Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(1), pp. 63-79, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
zero-dimensional frames resp. biframes, (quasi-)uniform frames, transitive (quasi-)uniform frames, totally bounded coreflection, universal zero-dimensional compactification, completion |
29 | Miroslav Husek, Anna Tozzi |
A Generalization of Herrlich's Question on Almost Reflective and Coreflective Subclasses of Top and Unif. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(3), pp. 393-406, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
generalized reflection, generalized coreflection |
21 | Paolo Baldan, Andrea Corradini 0001, Tobias Heindel, Barbara König 0001, Pawel Sobocinski 0001 |
Unfolding Grammars in Adhesive Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 350-366, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Dharmanand Baboolal, Paranjothi Pillay |
A Note on Locally Pathwise Connected Metric Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(4), pp. 495-501, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 54A05 |
21 | Bernhard Banaschewski |
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 473-479, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 46E25, 54C30 |
21 | Roman S. Dubtsov |
Real-Time Event Structures and Scott Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PaCT ![In: Parallel Computing Technologies, 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings, pp. 42-48, 2005, Springer, 3-540-28126-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001 |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADT ![In: Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers, pp. 165-184, 2002, Springer, 3-540-20537-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Bernhard Banaschewski |
The Axiom of Countable Choice and Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(3), pp. 245-258, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
zero-dimensional frames, completely regular frames, coreflections from Lindelöf frames, Axiom of Countable Choice |
21 | Manfred Droste, R. M. Shortt |
Continuous Petri Nets and Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Unifying Petri Nets ![In: Unifying Petri Nets, Advances in Petri Nets, pp. 457-484, 2001, Springer, 3-540-43067-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
21 | H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy |
A General Categorical Connection between Local Event Structures and Local Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 12th International Symposium, FCT '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings, pp. 338-349, 1999, Springer, 3-540-66412-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Rémi Morin, Brigitte Rozoy |
On the Semantics of Place/Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings, pp. 447-462, 1999, Springer, 3-540-66425-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Vladimiro Sassone |
On the Category of Petri Net Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 334-348, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
21 | José Meseguer 0001, Ugo Montanari, Vladimiro Sassone |
On the Semantics of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings, pp. 286-301, 1992, Springer, 3-540-55822-5. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Glynn Winskel |
Petri Nets and Transition Systems (Abstract for an invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 11th Conference, New Delhi, India, December 17-19, 1991, Proceedings, pp. 420, 1991, Springer, 3-540-54967-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #21 of 21 (100 per page; Change: )
|
|