Limit Search Results
Author
SpringerLink (Online service)
(27)
Orejas, Fernando. editor.
(2)
Bacchus, Fahiem. editor.
(1)
Beziau, Jean-Yves. editor.
(1)
Caires, Luis. editor.
(1)
Language
Subject
Mathematical Logic and Foundations.
(19)
Mathematical logic.
(19)
Computer science.
(13)
Formal Languages and Automata Theory.
(13)
Machine theory.
(13)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
27 Results Found Subscribe to search results
000000000000000000000000000DEFAULT
Print
1. 
Cover image for Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
by 
Hoos, Holger H. editor.
https://doi.org/10.1007/11527695
Format: 
Excerpt: 
Mathematical Logic and Foundations.
2. 
Cover image for Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
Automata, Languages and Programming 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings
by 
Caires, Luis. editor.
https://doi.org/10.1007/11523468
Format: 
Excerpt: 
Mathematical Logic and Foundations.
3. 
Cover image for Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
by 
De Felice, Clelia. editor.
https://doi.org/10.1007/b137735
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
4. 
Cover image for Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
by 
Bacchus, Fahiem. editor.
https://doi.org/10.1007/b137280
Format: 
Excerpt: 
Mathematical Logic and Foundations.
5. 
Cover image for Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
by 
Jedrzejowicz, Joanna. editor.
https://doi.org/10.1007/11549345
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
6. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
by 
Fiadeiro, José Luis. editor.
https://doi.org/10.1007/11548133
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
7. 
Cover image for Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Processes, Terms and Cycles: Steps on the Road to Infinity Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by 
Middeldorp, Aart. editor.
https://doi.org/10.1007/11601548
Format: 
Excerpt: 
Mathematical Logic and Foundations.
8. 
Cover image for Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, Proceedings
by 
Calude, Cristian S. editor.
https://doi.org/10.1007/b103739
Format: 
Excerpt: 
Mathematical Logic and Foundations.
9. 
Cover image for Adapting Proofs-as-Programs The Curry--Howard Protocol
Adapting Proofs-as-Programs The Curry--Howard Protocol
by 
Poernomo, Iman. author.
https://doi.org/10.1007/0-387-28183-5
Format: 
Excerpt: 
Mathematical Logic and Foundations.
10. 
Cover image for Essays in Constructive Mathematics
Essays in Constructive Mathematics
by 
Edwards, Harold M. author.
https://doi.org/10.1007/b138656
Format: 
Excerpt: 
Mathematical Logic and Foundations.
11. 
Cover image for Fuzzy Modeling with Spatial Information for Geographic Problems
Fuzzy Modeling with Spatial Information for Geographic Problems
by 
Petry, Frederick E. editor.
https://doi.org/10.1007/b138243
Format: 
Excerpt: 
Mathematical Logic and Foundations.
12. 
Cover image for Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers
by 
Fiadeiro, José Luiz. editor.
https://doi.org/10.1007/b107129
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
13. 
Cover image for Propositional and Predicate Calculus: A Model of Argument
Propositional and Predicate Calculus: A Model of Argument
by 
Goldrei, Derek. author.
https://doi.org/10.1007/1-84628-229-2
Format: 
Excerpt: 
Mathematical Logic and Foundations.
14. 
Cover image for Logica Universalis Towards a General Theory of Logic
Logica Universalis Towards a General Theory of Logic
by 
Beziau, Jean-Yves. editor.
https://doi.org/10.1007/b137041
Format: 
Excerpt: 
Mathematical Logic and Foundations.
15. 
Cover image for Categories for Software Engineering
Categories for Software Engineering
by 
Fiadeiro, Jose Luiz. author.
https://doi.org/10.1007/b138249
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
16. 
Cover image for Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
by 
Ong, Luke. editor.
https://doi.org/10.1007/11538363
Format: 
Excerpt: 
Mathematical Logic and Foundations.
17. 
Cover image for Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
by 
Hutter, Dieter. editor.
https://doi.org/10.1007/b106663
Format: 
Excerpt: 
Mathematical Logic and Foundations.
18. 
Cover image for Field Arithmetic
Field Arithmetic
by 
Fried, Michael D. author.
https://doi.org/10.1007/b138352
Format: 
Excerpt: 
Mathematical Logic and Foundations.
19. 
Cover image for Valued Fields
Valued Fields
by 
Engler, Antonio J. author.
https://doi.org/10.1007/3-540-30035-X
Format: 
Excerpt: 
Mathematical Logic and Foundations.
20. 
Cover image for Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
by 
Giesl, Jürgen. editor.
https://doi.org/10.1007/b135673
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
21. 
Cover image for Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
Introduction to Modern Number Theory Fundamental Problems, Ideas and Theories
by 
Manin, Yu. I. author.
https://doi.org/10.1007/3-540-27692-0
Format: 
Excerpt: 
Mathematical Logic and Foundations.
22. 
Cover image for Scenario Logic and Probabilistic Management of Risk in Business and Engineering
Scenario Logic and Probabilistic Management of Risk in Business and Engineering
by 
Solojentsev, Evgueni D. author.
https://doi.org/10.1007/1-4020-2978-0
Format: 
Excerpt: 
Mathematical Logic and Foundations.
23. 
Cover image for Trends in Continuum Mechanics of Porous Media
Trends in Continuum Mechanics of Porous Media
by 
de Boer, Reint. author.
https://doi.org/10.1007/1-4020-3144-0
Format: 
Excerpt: 
Mathematical Logic and Foundations.
24. 
Cover image for Visualization, Explanation and Reasoning Styles in Mathematics
Visualization, Explanation and Reasoning Styles in Mathematics
by 
Mancosu, P. editor.
https://doi.org/10.1007/1-4020-3335-4
Format: 
Excerpt: 
Mathematical Logic and Foundations.
25. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
by 
Kamareddine, F.D. author.
https://doi.org/10.1007/1-4020-2335-9
Format: 
Excerpt: 
Mathematical Logic and Foundations.
26. 
Cover image for Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
by 
Kreowski, Hans-Jörg. editor.
https://doi.org/10.1007/b106390
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.
27. 
Cover image for Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
by 
Jermann, Christophe. editor.
https://doi.org/10.1007/b136292
Format: 
Excerpt: 
Computer Science Logic and Foundations of Programming.