|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5 occurrences of 5 keywords
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Daniela Cancila, Furio Honsell |
A Coalgebraic Description of Web Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings, pp. 271-283, 2003, Springer, 3-540-20216-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
User-Visit, Coalgebraic Bisimulation, Simulation, Relators, Web Site, Coalgebra, Log File |
33 | Esamaldeen Mohamed, Gerald Williams |
An Investigation Into the Cyclically Presented Groups with Length Three Positive Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 31(2), pp. 537-551, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
33 | Gergely Pataki |
Investigation of Proximal Spaces Using Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 10(3), pp. 143, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
33 | Ivars Blums, Hans Weigand |
Conceptualizing Social Relators and Economic Exchange Contracts for Reporting Purposes (regular paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMBO ![In: Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, Italy, March 4th and 5th, 2021, Bolzano, Italy, March 4th and 5th, 2021., pp. 95-110, 2021, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
33 | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.04647, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
33 | Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy |
Effectful applicative bisimilarity: Monads, relators, and Howe's method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
33 | David Easdown, Lev M. Shneerson |
Growth of Rees Quotients of Free inverse Semigroups Defined by Small numbers of Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 23(3), pp. 521-546, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Alexander Heußner |
Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS Supplement ![In: Supplementary Proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008, pp. 25-32, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
33 | Jan J. M. M. Rutten |
Relators and Metric Bisimulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998, pp. 252-258, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
33 | Chris Brink, Ingrid Rewitzky |
Predicate Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 143-156, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
33 | John C. Mitchell, Andre Scedrov |
Notes on Sconing and Relators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 352-378, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Roland Carl Backhouse, Peter J. de Bruin, Paul F. Hoogendijk, Grant Malcolm, Ed Voermans, Jaap van der Woude |
Polynomial Relators (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology (AMAST '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991, pp. 303-326, 1991, Springer, 3-540-19797-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
33 | John J. Cannon |
Construction of defining relators for finite groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 5(2), pp. 105-129, 1973. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
26 | Henk Doornbos, Roland Carl Backhouse |
Algebra of Program Termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction ![In: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures, pp. 203-236, 2000, Springer, 3-540-43613-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Eugenio G. Omodeo, Alberto Policriti |
Decision Procedures for Set/Hyperset Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCO ![In: Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings, pp. 192-215, 1993, Springer, 3-540-57235-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Reinhard Bündgen |
Applying Term Rewriting Methods to Finite Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Second International Conference, Nancy, France, October 1-3, 1990, Proceedings, pp. 332-346, 1990, Springer, 3-540-53162-9. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|