Search Results - "exptime"

1

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings /

Published 2007

Table of Contents: “... Modal Logics -- The Neighbourhood of S0.9 and S1 -- EXPTIME Tableaux with Global Caching for Description...”
View full text

Electronic eBook

2

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proc...

Published 2014

Table of Contents: “...-Simulation in the Call-by-Value Lambda Calculus with AMB -- Implicational Relevance Logic is 2-ExpTime...”
View full text

Electronic eBook

3

Modeling and Using Context 8th International and Interdisciplinary Conference, CONTEXT 2013, Annecy, France, October 28 - 31, 2013, Proceedings /

Published 2013

Table of Contents: “... to Context -- Contextual Validity in Hybrid Logic -- EXPTIME Tableaux Algorithm for Contextualized ALC...”
View full text

Electronic eBook

4

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Published 2008

Table of Contents: “... for Higher-Order Store -- Open Implication -- ATL* Satisfiability Is 2EXPTIME-Complete -- Visibly Pushdown...”
View full text

Electronic eBook

Narrow Search