Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for QPTL with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1995-2023 (9)
Publication types (Num. hits)
article(4) inproceedings(5)
Venues (Conferences, Journals, ...)
LICS(2) ACM Trans. Comput. Log.(1) Advances in Modal Logic(1) CoRR(1) Formal Aspects Comput.(1) J. Log. Comput.(1) TACAS(1) TIME(1)
Authors
Amir Pnueli(2) Dario Della Monica(2) Dylan Bellier(2) Fabio Mogavero(2) Kang-Nien Wu(2) Massimo Benerecetti(2) Ming-Hsien Tsai 0001(2) Tim French 0002(2) Wen-Chin Chan(2) Yih-Kuen Tsay(2) Yonit Kesten(2) Yu-Fang Chen 0001(2) Chi-Jian Luo(1) Guoqiang Pan(1) Jinn-Shu Chang(1) Mark Reynolds 0001(1) More (+10 of total 17)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
111Tim French 0002 Quantified Propositional Temporal Logic with Repeating States. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero Good-for-Game QPTL: An Alternating Hodges Semantics. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
37Dylan Bellier, Massimo Benerecetti, Dario Della Monica, Fabio Mogavero Good-for-Game QPTL: An Alternating Hodges Semantics. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
37Yonit Kesten, Amir Pnueli Complete Proof System for QPTL. Search on Bibsonomy J. Log. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
37Tim French 0002, Mark Reynolds 0001 A Sound and Complete Proof System for QPTL. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2002 DBLP  BibTeX  RDF
37Yonit Kesten, Amir Pnueli A Complete Proof Systems for QPTL Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
36Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan, Chi-Jian Luo, Jinn-Shu Chang Tool support for learning Büchi automata and linear temporal logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Büchi automata, QPTL, Model checking, GOAL, Linear temporal logic
28Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Kang-Nien Wu, Wen-Chin Chan GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
28Guoqiang Pan, Moshe Y. Vardi Fixed-Parameter Hierarchies inside PSPACE. Search on Bibsonomy LICS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #9 of 9 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license