Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Felix Weiß Felix Weiss ( http://dblp.L3S.de/Authors/Felix_Weiß )

Publication years (Num. hits)
2009 (2) 2010 (3) 2011 (2) 2012 (1)
Publication types (Num. hits)
article(5) inproceedings(3)
Venues (Conferences, Journals, ...)
CoRR(3) J. Applied Logic(1) Logical Methods in Computer Sc...(1) MFCS(1) RP(1) STACS(1)
Authors
Martin Mundhenk(8) Felix Weiss(6) Arne Meier(4) Michael Thomas(4) Thomas Schneider 0002(4) Volker Weber(3) Felix Weiß(2) Stefan Göller(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Felix Weiss The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Martin Mundhenk, Felix Weiss Intuitionistic implication makes model checking hard Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Mundhenk, Felix Weiß The model checking problem for propositional intuitionistic logic with one variable is AC^1-complete. Search on Bibsonomy STACS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss The complexity of satisfiability for fragments of hybrid logic - Part I. Search on Bibsonomy J. Applied Logic The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Mundhenk, Felix Weiss The Model Checking Problem for Propositional Intuitionistic Logic with One Variable is AC1-Complete Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Martin Mundhenk, Felix Weiß The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions. Search on Bibsonomy RP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss The Complexity of Satisfiability for Fragments of Hybrid Logic -- Part I Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Arne Meier, Martin Mundhenk, Thomas Schneider 0002, Michael Thomas, Volker Weber, Felix Weiss The Complexity of Satisfiability for Fragments of Hybrid Logic-Part I. Search on Bibsonomy MFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Post’s lattice, complexity, satisfiability, decidability, hybrid logic
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.