"Compositional Predicate Abstraction from Game Semantics"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Predicate Transformer Semantics	Ernest. G. Manes	1992-08	Cambridge University Press
Predicate Calculus and Program Semantics	Edsger W. Dijkstra; Carel S. Scholten	1990	Springer New York
Presupposition and Implicature in Compositional Semantics	U. Sauerland; P. Stateva	2007	Palgrave Macmillan UK
Game-theoretical semantics	Saarinen E. (ed.)	1979	D.Reidel
Relational Semantics and the Anatomy of Abstraction	Tamar Sovran	2013	Routledge
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction	Benjamin WeiГџ	2011	KIT Scientific Publishing
Default Semantics: Foundations of a Compositional Theory of Acts of Communication	K. M. Jaszczolt	2005	Oxford University Press
Confessions of a Lapsed Neo-Davidsonian: Events and Arguments in Compositional Semantics	Samuel L. Bayer	1997	Routledge
From Knowledge Abstraction to Management	Aparajita Suman	2014	Chandos Publishing
Compositional Translation	M.T. Rosetta	1994	Springer Netherlands
Game-Theoretical Semantics: Essays on Semantics by Hintikka, Carlson, Peacocke, Rantala and Saarinen	Esa. Saarinen	1979	Springer Netherlands
Jaakko Hintikka on Knowledge and Game-Theoretical Semantics	Hans van Ditmarsch; Gabriel Sandu	1st ed. 2018	Springer International Publishing
Abstraction	Andrew E. Benjamin	1995	Academy Editions;Distributed to the trade in the United States of America by St. Martin's Press
Compositional improvisations: from the mysteria, vol. 1 /	Hall, Gregory,
The Game of Language: Studies in Game-Theoretical Semantics and Its Applications	Jaakko Hintikka	1983	Springer Netherlands
Understanding Game Scoring: The Evolution of Compositional Practice for and Through Gaming	Mack Enns	2021	Routledge
Parameters of Predicate Fronting	Vera Lee-Schoenfeld; Dennis Ott	2021	Oxford University Press
Abstraction: paths to abstraction, 1867-1917 /	Lebensztejn, Jean-Claude.; Shiff, Richard.; Hoberg, Annegret.; Maloon, Terence.	c2010.	Distribution, North America, Prestel Pub.],
Psychology's Compositional Problem	Kenneth P. Hillner	1987	North-Holland
The compositional matrix.	Allen Forte	1974	Da Capo 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
Compositional Predicate Abstraction from Game Semantics	Adam Bakewell; Dan R. Ghica	Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings	Stefan Kowalewski; Anna Philippou	2009	Springer Berlin Heidelberg
Compositional Semantics beyond Predicate-Argument Structure	Emily M. Bender; Alex Lascarides	Linguistic Fundamentals for Natural Language Processing II: 100 Essentials from Semantics and Pragmatics	Emily M. Bender; Alex Lascarides		Springer International Publishing
Compositional Semantics beyond Predicate-Argument Structure		Linguistic fundamentals for natural language processing II: 100 essentials from semantics and pragmatics	Bender, Emily M.; Lascarides, Alex	2020	Morgan & Claypool Publishers
Predicate Abstraction		MICAI 2005: Advances in Artificial Intelligence: 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005,	Alexander Gelbukh, Hugo Terashima	2005	Springer
Predicate Abstraction		Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction	Benjamin WeiГџ	2011	KIT Scientific Publishing
Compositional Semantics	Roland Hausser	Computational Linguistics and Talking Robots: Processing Content in Database Semantics	Roland Hausser	2011	Springer Berlin Heidelberg
Compositional Semantics	Emily M. Bender; Alex Lascarides	Linguistic Fundamentals for Natural Language Processing II: 100 Essentials from Semantics and Pragmatics	Emily M. Bender; Alex Lascarides		Springer International Publishing
Compositional Semantics		Linguistic fundamentals for natural language processing II: 100 essentials from semantics and pragmatics	Bender, Emily M.; Lascarides, Alex	2020	Morgan & Claypool Publishers
Compositional semantics		Introduction to Linguistics	Edward Stabler
Compositional semantics		An Introduction to Language, Australian 9th Ed	Victoria Fromkin, Robert Rodman, Nina Hyams, Mengistu Amberber, Felicity Cox, Rosalind Thornton	2018	Cengage
Compositional Semantics	Zhiyuan Liu; Yankai Lin; Maosong Sun	Representation Learning for Natural Language Processing	Zhiyuan Liu; Yankai Lin; Maosong Sun	1st ed. 2020	Springer Nature Singapore
Compositional Semantics		An Introduction to Language	Victoria Fromkin, Robert Rodman, Nina Hyams	2010	Wadsworth Publishing
Compositional Semantics		An Introduction to Language (9th edition - International Edition)	Victoria Fromkin, Robert Rodman, Nina Hyams	2010	Wadsworth, Cengage Learning
Synchronous Game Semantics via Round Abstraction	Dan R. Ghica; Mohamed N. Menaa	Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings	Martin Hofmann	2011	Springer Berlin Heidelberg
Predicate Abstraction Algorithm		Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction	Benjamin WeiГџ	2011	KIT Scientific Publishing
A CLP Method for Compositional and Intermittent Predicate Abstraction	Joxan Jaffar; Andrew E. Santosa; Răzvan Voicu	Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings	E. Allen Emerson; Kedar S. Namjoshi	2006	Springer Berlin Heidelberg
Meta-predicate Semantics	Paulo Moura	Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers	Germán Vidal	2012	Springer Berlin Heidelberg
Predicate logic semantics	W.H. Newton-Smith	Logic: An Introductory Course	W.H. Newton-Smith	1985	Routledge
64 Predicate Semantics		Symbolic Logic: Syntax, Semantics, and Proof	David Agler	2012	Rowman & Littlefield Publishers
642 Predicate Semantics		Symbolic Logic: Syntax, Semantics, and Proof	David Agler	2012	Rowman & Littlefield Publishers
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Compositional Predicate Abstraction from Game Semantics" - similar Books and Chapters