"Game Characterizations and the PSPACE-Completeness of Tree Resolution Space"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Resolution Space, Operators and Systems	R. Saeks	1973	Springer Berlin Heidelberg
Resolution space; operators and systems	Richard Saeks	1973	Springer-Verlag
Completeness and definability: Applications of the Ehrenfeucht game in second-order and intensional logic [PhD Thesis]	Kees Doets	1987	University of Amsterdam
Vision of Buddhism: The Space Under the Tree	Roger J. Corless	1998	Paragon House
Bounds and characterizations of record statistics	M. Ahsanullah	2005	Nova Science Publishers
Synthesis and characterizations of poly(organophosphazenes) /	Jaeger, R. De.; Gleria, M.	[2004], ©2004.	Nova Science Publishers,
Characterizations and analysis of block designs	A. K. Nigam	1988	Wiley
Completeness in science	Richard Schlegel	1967	Appleton-Century-Crofts
The space ship under the apple tree	Louis Slobodkin	1993	Aladdin Books;Maxwell Macmillan Canada;Maxwell Macmillan International
The space ship under the apple tree.	Louis Slobodkin	1952	Macmillan
Game Theory as a Theory of Conflict Resolution	Anatol Rapoport	1974	Springer Netherlands
Bioceramics: Properties, Characterizations, and Applications	Joon Park	2008	Springer New York
The Atonement: its reality, completeness, and extent	Robert Smith Candlish	1861	T. Nelson & sons
Characterizations of Inner Product Spaces	Amir	1986	Birkhäuser Basel
Characterizations of Univariate Continuous Distributions	Mohammad Ahsanullah	1st ed. 2017	Atlantis Press
Time and space resolution and mixed layer model accuracy	David M. Hone	1997	Naval Postgraduate School;Available from National Technical Information Service
On Measures of Information and their Characterizations	J. Aczél; Z. Daróczy	1975	Elsevier
Randomness and Completeness in Computational Complexity	Dieter van Melkebeek	2000	Springer Berlin Heidelberg
The space ship returns to the apple tree	Louis Slobodkin	1958	Macmillan
Space Fault Tree Theory and System Reliability Analysis	Tiejun CUI; Shasha LI	2020	EDP Sciences
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space	Alexander Hertel; Alasdair Urquhart	Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings	Jacques Duparc; Thomas A. Henzinger	2007	Springer Berlin Heidelberg
PSPACE-completeness		Games, Puzzles, and Computation	Robert Aubrey Hearn	2006	MIT
Implicit Characterizations of Pspace	Isabel Oitavem	Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings	Reinhard Kahle; Peter Schroeder-Heister; Robert Stärk	2001	Springer Berlin Heidelberg
Logical Characterizations of PSPACE	David Richerby	Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings	Jerzy Marcinkowski	2004	Springer Berlin Heidelberg
Draws, Zugzwangs, and PSPACE-Completeness in the Slither Connection Game	Édouard Bonnet; Florian Jamain; Abdallah Saffidine	Advances in Computer Games: 14th International Conference, ACG 2015, Leiden, The Netherlands, July 1-3, 2015, Revised Selected Papers	Aske Plaat; Jaap van den Herik; Walter Kosters	1st ed. 2015	Springer International Publishing
PSPACE-Completeness of Reversible Deterministic Systems	Erik D. Demaine; Robert A. Hearn; Dylan Hendrickson; Jayson Lynch	Machines, Computations, and Universality: 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022, Proceedings	Jérôme Durand-Lose; György Vaszil	1st ed. 2022	Springer International Publishing
Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)	Samson Abramsky	Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings	Jacques Duparc; Thomas A. Henzinger	2007	Springer Berlin Heidelberg
Length-Increasing Reductions for PSPACE-Completeness	John M. Hitchcock; A. Pavan	Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings	Krishnendu Chatterjee; Jirí Sgall	2013	Springer Berlin Heidelberg
Resolution of the Completeness Problem	Jeffrey Bub	The Interpretation of Quantum Mechanics	Jeffrey Bub	1974	Springer Netherlands
552 Completeness of Resolution		Computing With Logic: Logic Programming With Prolog	David Maier, David S. Warren	1988	AW
64 Completeness of resolution		An Introduction to Logic Programming Through Prolog	Spivey J.M.	2008	Prentice Hall
Game Tree Search with Adaptive Resolution	Hung-Jui Chang; Meng-Tsung Tsai; Tsan-sheng Hsu	Advances in Computer Games: 13th International Conference, ACG 2011, Tilburg, The Netherlands, November 20-22, 2011, Revised Selected Papers	H. Jaap van den Herik; Aske Plaat	2012	Springer Berlin Heidelberg
PSPACE-Completeness of Bloxorz and of Games with 2-Buttons	Tom C. van der Zanden; Hans L. Bodlaender	Algorithms and Complexity: 9th International Conference, CIAC 2015, Paris, France, May 20-22, 2015. Proceedings	Vangelis Th. Paschos; Peter Widmayer	2015	Springer International Publishing
1 The characterizations of a tree		Graph Theory and Its Engineering Applications (Advanced Series in Electrical and Computer Engineering)	Wai-Kai Chen	1997	World Scientific
The completeness of the tree metho.		The logic book	Merrie Bergmann	2009	McGraw-Hill Companies
Game Characterizations of Process Equivalences	Xin Chen; Yuxin Deng	Programming Languages and Systems: 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, Proceedings	G. Ramalingam	2008	Springer Berlin Heidelberg
45 Completeness of the SLD-resolution		From logic programming to Prolog	Apt K.R.	1997	PH
59 Completeness of the Tree Test		Logics	John Nolt	1997	Wadsworth Publishing Company
92 Completeness of the Tree Test		Logics	John Nolt	1997	Wadsworth Publishing Company
37 Tableau and Resolution Completeness		First-Order Logic and Automated Theorem Proving	Melvin Fitting	1996	Springer
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Game Characterizations and the PSPACE-Completeness of Tree Resolution Space" - similar Books and Chapters