"Deciding Entailments in Inductive Separation Logic with Tree Automata"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Inductive Logic	Dov M. Gabbay; Stephan Hartmann; John Woods	2011	North-Holland
Inductive logic.	John Grier Hibben	1896	W. Blackwood & Sons
Inductive logic	W. G. Ballantine	1896	Ginn
Inductive logic	John Grier Hibben	1896	C. Scribner's sons
Inductive logic.	William Gay Ballantine	1896	Ginn
Inductive logic	William Gay Ballantine	1896	Ginn & company
Inductive logic.	John Grier Hibben	1896	Blackwood
Pure Inductive Logic	Jeffrey Paris; Alena Vencovská	2015-04	Cambridge University Press
Logic, Automata, and Algorithms	Mark A. Aiserman, Leonid A. Gusev, Lev I. Rozonoer, Irina M. Smirnova and Aleksey A. Tal' (Eds.)	1971	AP
Elementary Lessons in Logic: Deductive and Inductive: with Copious. . .	William Stanley Jevons	1876	Macmillan
Elementary Lessons in Logic: Deductive and Inductive: with Copious. . .	William Stanley Jevons	1901	Macmillan
Lectures on Inductive Logic	Jon Williamson	2017	Oxford University Press
Probabilistic Inductive Logic Programming	Luc De Raedt; Paolo Frasconi; Kristian Kersting; Stephen H. Muggleton	2008	Springer Berlin Heidelberg
Logic, deductive and inductive	John Grier Hibben	1905	C. Scribner's Sons
Aspects of Inductive Logic	Jaakko Hintikka	1966	North-Holland Publishing Company
Aspects of inductive logic	Jaakko Hintikka; Patrick Suppes	1966	North-Holland
Foundations of Inductive Logic	Roy Harrod (auth.)	1974	Macmillan Education UK
Logic, inductive and deductive.	William Minto	1912	Murray
Logic, deductive and inductive.	Carveth Read	1908	Moring
Foundations of inductive logic.	Harrod, Roy Forbes Sir	1956	Macmillan;St. Martin's Press
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
Deciding Entailments in Inductive Separation Logic with Tree Automata	Radu Iosif; Adam Rogalewicz; Tomáš Vojnar	Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings	Franck Cassez; Jean-Francois Raskin	2014	Springer International Publishing
Unifying Decidable Entailments in Separation Logic with Inductive Definitions	Mnacho Echenim; Radu Iosif; Nicolas Peltier	Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings	André Platzer; Geoff Sutcliffe	1st ed. 2021	Springer International Publishing
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation	James Brotherston; Nikos Gorogiannis	Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings	Hans De Nivelle	1st ed. 2015	Springer International Publishing
Deciding equivalence of finite tree automata	Helmut Seidl	STACS 89: 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989; Proceedings	Burkhard Monien; Robert Cori	1989	Springer Berlin Heidelberg
Predicate Logic and Tree Automata with Tests	Ralf Treinen	Foundation of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings	Jerzy Tiuryn	2000	Springer Berlin Heidelberg
Tree automata and logic programs	Gilberto Filé	STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985	K. Mehlhorn	1985	Springer Berlin Heidelberg
Separation Logic with Monadic Inductive Definitions and Implicit Existentials	Makoto Tatsuta; Daisuke Kimura	Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings	Xinyu Feng; Sungwoo Park	1st ed. 2015	Springer International Publishing
Effective Entailment Checking for Separation Logic with Inductive Definitions	Jens Katelaan; Christoph Matheja; Florian Zuleger	Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II	Tomáš Vojnar; Lijun Zhang	1st ed. 2019	Springer International Publishing
Deciding Separation Formulas with SAT	Ofer Strichman; Sanjit A. Seshia; Randal E. Bryant	Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings	Ed Brinksma; Kim G. Larsen	2002	Springer Berlin Heidelberg
Inductive Logic		Encyclopedia of Quality of Life and Well-Being Research	Alex C. Michalos	2014	Springer Netherlands
Inductive Logic		Textbook of Logic	Wolf Abraham	1962	Routledge
Inductive logic		Philosophy of Science A-Z (Philosophy A-Z)	Stathis Psillos	2007	Edinburgh University Press
Inductive logic.		Logic	Stan Baronett	2012	Oxford University Press
Inductive Logic		The Logic Book	Merrie Bergmann, James Moor, Jack Nelson	2008	McGraw-Hill Humanities/Social Sciences/Languages
INDUCTIVE LOGIC		Visions across the Americas: Short Essays for Composition, Seventh Edition	J. Sterling Warner, Judith Hilliard	2009	Wadsworth Publishing
Inductive logic		A concise introduction to logic	Hurley, Patrick J.; Watson, Lori	2016	Cengage Learning
Inductive logic		A logic book: Fundamentals of reasoning	Johnson, Robert M	2007	Thomson Wadsworth
Inductive Logic	Stephen Glaister	A Companion to Philosophical Logic	Dale Jacquette	2002	John Wiley & Sons
Inductive logic		The emergence of probability: a philosophical study of early ideas about probability, induction and statistical inference	Ian Hacking	1975	Cambridge University Press
A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic	Quang Loc Le; Makoto Tatsuta; Jun Sun; Wei-Ngan Chin	Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II	Rupak Majumdar; Viktor Kunčak	1st ed. 2017	Springer International Publishing
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Deciding Entailments in Inductive Separation Logic with Tree Automata" - similar Books and Chapters