Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics

Keywords

Computer science

References

No references recorded for this paper.

Cited by

• A Semantic Framework for Higher-Order Functional Logic Programming with Lambda AbstractionsFernando Pérez Morente — 2011
• Implementing BDI-like Systems by Direct ExecutionMichael Fisher — 1997
• Dynamically reconfigurable parameterized componentsPaolo A. G. Sivilotti, Bruce W. Weide, Nigamanth Sridhar — 2004
• Intelligent Network Control Using Object-Oriented Term-RewritingAdam Steele — 2001
• Intégration des collections topologiques et des transformations dans un langage fonctionnel. (Integration of topological collections and transformations into a functional language)Julien Cohen — 2004
• An Algorithm for Searching An Alternative Hypothesis SpaceChristopher Griffin, Kelly M. Testa, Stephen Racunas — 2009
• Outlier detection in default logics: the tractability/intractability frontierFabrizio Angiulli, Rachel Ben‐Eliyahu‐Zohary, Luigi Palopoli — 2011
• Collision-free path planningShiang-Fong Chen — 1997
• On First-Order Fragments for Words and Mazurkiewicz TracesVolker Diekert, Manfred Kufleitner — 2007
• Methods for Reachability-based Hybrid Controller DesignJerry Ding — 2012
• Not So Easy Problems for Tree Decomposable GraphsStefan Szeider — 2011
• Expressive Power of Non-Deterministic Operators for Logic-based LanguagesLuca Corciulo, Fosca Giannotti, Dino Pedreschi — 1994
• State-Transition Computation Models and Program Correctness ThereonKiyoshi Akama, Ekawit Nantajeewarawat — 2007
• Quantum Edge Detection for Image Segmentation in Optical EnvironmentsMario Mastriani — 2014
• Typage polymorphe d'un langage algorithmiqueXavier Leroy — 1992
• The Complexity of Concept LanguagesFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi — 1997
• Computational complexity of an optical model of computationDamien Woods — 2005
• DeKo - Ein System zur Analyse komplexer WörterTanja Schmid, Anke Lüdeling, Bettina Säuberlich — 2001
• Fundamental Properties of Deterministic and Nondeterministic Extensions of DatalogSerge Abiteboul, Eric Simon — 1991
• Parallel Overlap and Similarity Detection in Semi- Structured Document CollectionsKrisztián Monostori, Arkady Zaslavsky, Heinz Schmidt — 2000

Related papers

• Handbook of theoretical computer scienceJan Van Leeuwen — 1990
• Model checkingE. M. Clarke, Orna Grümberg, D. Long — 1996
• Temporal and Modal Logic.E. Allen Emerson — 1990
• A Catalog of Complexity Classes.David S. Johnson — 1990
• Automata on Infinite ObjectsWolfgang Thomas — 1991
• Computers and Intractability: A Guide to the Theory of NP-CompletenessM. R. Garey, David S. Johnson — 1979
• Handbook of applied psychology (Vol 1).D. Fryer, E. R. Henry — 1950
• The Data Science HandbookField Cady — 2017
• Lecture Notes in Artificial IntelligencePatrick Brézillon, Paolo Bouquet — 1999