Search results for "Relators"

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.	ICTCS	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.	Exp. Math.	2022	DBLP DOI BibTeX RDF
33	Gergely Pataki	Investigation of Proximal Spaces Using Relators.	Axioms	2021	DBLP DOI BibTeX RDF
33	Ivars Blums, Hans Weigand	Conceptualizing Social Relators and Economic Exchange Contracts for Reporting Purposes (regular paper).	VMBO	2021	DBLP BibTeX RDF
33	Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy	Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version).	CoRR	2017	DBLP BibTeX RDF
33	Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy	Effectful applicative bisimilarity: Monads, relators, and Howe's method.	LICS	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.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
33	Alexander Heußner	Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations.	ICCS Supplement	2008	DBLP BibTeX RDF
33	Jan J. M. M. Rutten	Relators and Metric Bisimulations.	CMCS	1998	DBLP DOI BibTeX RDF
33	Chris Brink, Ingrid Rewitzky	Predicate Relators.	RelMiCS	1997	DBLP BibTeX RDF
33	John C. Mitchell, Andre Scedrov	Notes on Sconing and Relators.	CSL	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).	AMAST	1991	DBLP BibTeX RDF
33	John J. Cannon	Construction of defining relators for finite groups.	Discret. Math.	1973	DBLP DOI BibTeX RDF
26	Henk Doornbos, Roland Carl Backhouse	Algebra of Program Termination.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
26	Eugenio G. Omodeo, Alberto Policriti	Decision Procedures for Set/Hyperset Contexts.	DISCO	1993	DBLP DOI BibTeX RDF
26	Reinhard Bündgen	Applying Term Rewriting Methods to Finite Groups.	ALP	1990	DBLP DOI BibTeX RDF

Displaying result #1 - #16 of 16 (100 per page; Change: )