Search results for "regular relations"

Found 22 publication records. Showing 22 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood	Expressive languages for path queries over graph-structured data.	PODS	2010	DBLP DOI BibTeX RDF	regular relations, conjunctive queries, graph databases, regular path queries
2	Sébastien Limet, Pierre Réty, Helmut Seidl	Weakly Regular Relations and Applications.	RTA	2001	DBLP DOI BibTeX RDF
1	Tim Fernando	Regular relations for temporal propositions.	Natural Language Engineering	2011	DBLP DOI BibTeX RDF
1	Maja Pech, Dragan Maulovic	On the Height of the Poset of Endomorphism Monoids of Regular Relations.	Multiple-Valued Logic and Soft Computing	2009	DBLP BibTeX RDF
1	Vince Bárány	Semi-synchronous transductions.	Acta Inf.	2009	DBLP DOI BibTeX RDF
1	Anthony Widjaja To, Leonid Libkin	Recurrent Reachability Analysis in Regular Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
1	Gunther Schmidt	Rectangles, Fringes, and Inverses.	RelMiCS	2008	DBLP DOI BibTeX RDF
1	Anssi Yli-Jyrä, Kimmo Koskenniemi	A New Method for Compiling Parallel Replacement Rules.	CIAA	2007	DBLP DOI BibTeX RDF	regular relations, conditional replacement, two-level rules, finite-state compilation
1	Marcelo Arenas, Pablo Barceló, Leonid Libkin	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.	ICALP	2007	DBLP DOI BibTeX RDF
1	Bijan Davvaz	Extensions of fuzzy hyperideals in HV-semigroups.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 20N20, 20N25
1	Lukasz Kaiser	Game Quantification on Automatic Structures and Hierarchical Model Checking Games.	CSL	2006	DBLP DOI BibTeX RDF
1	Vince Bárány	Invariants of Automatic Presentations and Semi-synchronous Transductions.	STACS	2006	DBLP DOI BibTeX RDF
1	Sébastien Limet, Pierre Pillot	Solving First Order Formulae of Pseudo-Regular Theory.	ICTAC	2005	DBLP DOI BibTeX RDF
1	Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Tomás Vojnar	Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking.	TACAS	2005	DBLP DOI BibTeX RDF
1	Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan	Definability and Regularity in Automatic Structures.	STACS	2004	DBLP DOI BibTeX RDF
1	Nathan Vaillette	Logical specification of regular relations for NLP.	Natural Language Engineering	2003	DBLP DOI BibTeX RDF
1	Lauri Karttunen	Computing with Realizational Morphology.	CICLing	2003	DBLP DOI BibTeX RDF
1	Bengt Jonsson, Marcus Nilsson	Transitive Closures of Regular Relations for Verifying Infinite-State Systems.	TACAS	2000	DBLP DOI BibTeX RDF
1	Richard Banach	Regular Relations and Bicartesian Squares.	Theor. Comput. Sci.	1994	DBLP DOI BibTeX RDF
1	Peter H. Starke	Correction to: On the Diagnoals of n-Regular Relations.	Elektronische Informationsverarbeitung und Kybernetik	1977	DBLP BibTeX RDF
1	Peter H. Starke	On the Diagonals of n-Regular Relations.	Elektronische Informationsverarbeitung und Kybernetik	1976	DBLP BibTeX RDF
1	George J. Friedman, Cornelius T. Leondes	Constraint Theory, Part II: Model Graphs and Regular Relations.	IEEE Trans. Systems Science and Cybernetics	1969	DBLP DOI BibTeX RDF