Search results for "S1S"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
107	Enrico Marzano, Angelo Montanari, Alberto Policriti	Binary Extensions of S1S and the Composition Method.	Verification: Theory and Practice	2003	DBLP DOI BibTeX RDF
93	Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Sequential synthesis using S1S.	ICCAD	1995	DBLP DOI BibTeX RDF	S1S, sequntial synthesis, discrete control, finite state machine
59	Mark Weyer	Decidability of S1S and S2S.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
59	Adnan Aziz, Felice Balarin, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli	Sequential synthesis using S1S.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
35	Vojtech Havlena, Ondrej Lengál, Barbora Smahlíková	Deciding S1S: Down the Rabbit Hole and Through the Looking Glass.	NETYS	2021	DBLP DOI BibTeX RDF
35	Moritz Lichter, Gert Smolka	Constructive Analysis of S1S and Büchi Automata.	CoRR	2018	DBLP BibTeX RDF
35	Egor Ianovski	The existential fragment of S1S over element and successor is the co-Buchi languages.	CoRR	2014	DBLP BibTeX RDF
35	Cong Tian, Zhenhua Duan	A Transformation from PPTL to S1S.	COCOA (2)	2010	DBLP DOI BibTeX RDF
34	Thomas Eiter, Yuri Gurevich, Georg Gottlob	Existential second-order logic over strings.	J. ACM	2000	DBLP DOI BibTeX RDF	S1S, existential fragment, finite satisfiability, finite words, prefix classes, model checking, strings, regular languages, descriptive complexity, finite model theory, decision problem, NP, second-order logic
24	Dietmar Berwanger, Erich Grädel, Stephan Kreutzer	Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games.	LPAR	2003	DBLP DOI BibTeX RDF
24	Berndt Farwer	omega-Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
24	Matthias Baaz, Agata Ciabattoni, Richard Zach	Quantified Propositional Gödel Logics.	LPAR	2000	DBLP DOI BibTeX RDF

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