"Local Reasoning for Parameterized First Order Protocols"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Parameterized Complexity	Rodney G. Downey; M.R. Fellows	1999	Springer New York
Parameterized Algorithms	Marek Cygan; Fedor V. Fomin; Łukasz Kowalik; Daniel Lokshtanov; Dániel Marx; Marcin Pilipczuk; Michał Pilipczuk; Saket Saurabh	1st ed. 2015	Springer International Publishing
Parameterized Complexity Theory	J. Flum; M. Grohe	2006	Springer Berlin Heidelberg
Local Analysis for the Odd Order Theorem	Helmut Bender; George Glauberman	1995-01	Cambridge University Press
Fundamentals of Parameterized Complexity	Rodney G. Downey; Michael R. Fellows	2013	Springer London
Decidability of Parameterized Verification	Roderick Bloem; Swen Jacobs; Ayrat Kalimov; Igor Konnov		Springer International Publishing
Specifications for a first order lantern	United States. Light-House Board.	1862	Govt. Print. Off.
Logical reasoning: a first course	Rob. Nederpelt; Fairouz. Kamareddine	2011	King's College Publications
Kernelization: Theory of Parameterized Preprocessing	Fedor V. Fomin; Daniel Lokshtanov; Saket Saurabh; Meirav Zehavi	2019-01	Cambridge University Press
Generation and analysis of parameterized terrain for land combat	Chung Young Kim	1977	Naval Postgraduate School
First-Order Logic	Raymond R. Smullyan	1968	Springer Berlin Heidelberg
First-Order Logic	Raymond M. Smullyan	1995	Courier Corporation
First-Order Logic	Smullyan R.M.	1995	Dover
First-order leveling	U.S. Coast and Geodetic Survey	1935	G.P.O.
First-order logic	Raymond M. Smullyan	1968	Springer-Verlag
Prediction intervals for first order Markov processes	Tatiraju S. Murthy	1979	Naval Postgraduate School
Order of magnitude reasoning in qualitative differential equations.	Ernest Davis	1987	Courant Institute of Mathematical Sciences, New York University
Rules for Reasoning	Richard E. Nisbett; Richard E. Nisbett; Richard E. Nisbett	1993	Routledge
Local order in condensed matter physics /	Mahanti, S. D.; Jena, P.	1995.	Nova Science Publishers,
Tableau Systems for First Order Number Theory and Certain Higher Order Theories	S.A. Toledo	1975	Springer Berlin Heidelberg
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
Local Reasoning for Parameterized First Order Protocols	Rylo Ashmore; Arie Gurfinkel; Richard Trefler	NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings	Julia M. Badger; Kristin Yvonne Rozier	1st ed. 2019	Springer International Publishing
First-Order Reasoning		Rationality Through Reasoning	John Broome	2013	John Wiley & Sons
First-Order Contextual Reasoning	Laurent Perrussel	Advances in Artificial Intelligence: 16th Brazilian Symposium on Artificial Intelligence, SBIA 2002, Porto de Galinhas/Recife, Brazil, November 11-14, 2002, Proceedings	Guilherme Bittencourt; Geber L. Ramalho	2002	Springer Berlin Heidelberg
First-order Bayesian reasoning	Ingrid Fabian; Dale A. Lambert	Advanced Topics in Artificial Intelligence: 11th Australian Joint Conference on Artificial Intelligence, AI' 98, Brisbane, Australia, July 13-17, 1998 Selected Papers	Grigoris Antoniou; John Slaney	1998	Springer Berlin Heidelberg
First Order Relational Reasoning		Encyclopedia of Evolutionary Psychological Science	Todd K. Shackelford; Viviana A. Weekes-Shackelford	1st ed. 2021	Springer International Publishing
I First Order Reasoning		Practical Foundations of Mathematics	Paul Taylor	1999	Cambridge University Press
I FIRST ORDER REASONING		Practical foundations of mathematics	Taylor P.	1999	CUP
Reduction techniques for first-order reasoning	Francois Bronsard; Uday S. Reddy	Conditional Term Rewriting Systems: Third International Workshop, CTRS-92, Pont-a-Mousson, France, July 8-10, 1992. Proceedings	Michaël Rusinowitch; Jean-Luc Rémy	1993	Springer Berlin Heidelberg
A Logic for Approximate First-Order Reasoning	Frédéric Koriche	Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings	Laurent Fribourg	2001	Springer Berlin Heidelberg
First-Order Reasoning for Attempto Controlled English	Norbert E. Fuchs	Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers	Michael Rosner; Norbert E Fuchs	1st ed. 2012	Springer Berlin Heidelberg
Automated Reasoning Support for First-Order Ontologies	Peter Baumgartner; Fabian M. Suchanek	Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers	José Júlio Alferes; James Bailey; Wolfgang May; Uta Schwertel	2006	Springer Berlin Heidelberg
Towards First-Order Nonmonotonic Reasoning	Riccardo Rosati	Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR ' 99, El Paso, Texas, USA, December 2-4, 1999 Proceedings	Michael Gelfond; Nicole Leone; Gerald Pfeifer	1999	Springer Berlin Heidelberg
Protocols for reasoning the Confessions		Temporality, eternity, and wisdom: the rhetoric of Augustine's Confessions	Calvin L. Troup	1999	University of South Carolina Press
Parameterized Parallel Computing and First-Order Logic	Yijia Chen; Jörg Flum	Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday	Andreas Blass; Patrick Cégielski; Nachum Dershowitz; Manfred Droste; Bernd Finkbeiner	1st ed. 2020	Springer International Publishing
TAPS: A First-Order Verifier for Cryptographic Protocols	Ernie Cohen	Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings	E. Allen Emerson; A. Prasad Sistla	2000	Springer Berlin Heidelberg
A Decidable First-Order Logic for Medical Reasoning	Norihiro Kamide	Knowledge-Based and Intelligent Information and Engineering Systems, Part II: 15th International Conference, KES 2011, Kaiserslautern, Germany, September 12-14, 2011, Proceedings, Part II	Andreas König; Andreas Dengel; Knut Hinkelmann; Koichi Kise; Robert J. Howlett; Lakhmi C. Jain	2011	Springer Berlin Heidelberg
Verifying Parameterized Timed Security Protocols	Li Li; Jun Sun; Yang Liu; Jin Song Dong	FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings	Nikolaj Bjørner; Frank de Boer	2015	Springer International Publishing
Local Reasoning		Encyclopedia of Governance	Mark Bevir (editor)	2007	Sage Pubns
Theory reasoning in first order calculi	Ulrich Furbach	Management and Processing of Complex Data Structures: Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. Proceedings	Kai v. Luck; Heinz Marburger	1994	Springer Berlin Heidelberg
Deductive reasoning in first-order logic		Logic as a tool: a guide to formal logical reasoning	Goranko, Valentin	2016	Wiley
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Local Reasoning for Parameterized First Order Protocols" - similar Books and Chapters