Search Results for Mathematical Logic and Foundations.

1.

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:

Alıntı:

Mathematical Logic and Foundations.

2.

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:

Alıntı:

Mathematical Logic and Foundations.

3.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

4.

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:

Alıntı:

Mathematical Logic and Foundations.

5.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

6.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

7.

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:

Alıntı:

Mathematical Logic and Foundations.

8.

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:

Alıntı:

Mathematical Logic and Foundations.

9.

Adapting Proofs-as-Programs The Curry--Howard Protocol

by

Poernomo, Iman. author.

https://doi.org/10.1007/0-387-28183-5

Format:

Alıntı:

Mathematical Logic and Foundations.

10.

Essays in Constructive Mathematics

by

Edwards, Harold M. author.

https://doi.org/10.1007/b138656

Format:

Alıntı:

Mathematical Logic and Foundations.

11.

Fuzzy Modeling with Spatial Information for Geographic Problems

by

Petry, Frederick E. editor.

https://doi.org/10.1007/b138243

Format:

Alıntı:

Mathematical Logic and Foundations.

12.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

13.

Propositional and Predicate Calculus: A Model of Argument

by

Goldrei, Derek. author.

https://doi.org/10.1007/1-84628-229-2

Format:

Alıntı:

Mathematical Logic and Foundations.

14.

Logica Universalis Towards a General Theory of Logic

by

Beziau, Jean-Yves. editor.

https://doi.org/10.1007/b137041

Format:

Alıntı:

Mathematical Logic and Foundations.

15.

Categories for Software Engineering

by

Fiadeiro, Jose Luiz. author.

https://doi.org/10.1007/b138249

Format:

Alıntı:

Computer Science Logic and Foundations of Programming.

16.

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:

Alıntı:

Mathematical Logic and Foundations.

17.

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:

Alıntı:

Mathematical Logic and Foundations.

18.

Field Arithmetic

by

Fried, Michael D. author.

https://doi.org/10.1007/b138352

Format:

Alıntı:

Mathematical Logic and Foundations.

19.

Valued Fields

by

Engler, Antonio J. author.

https://doi.org/10.1007/3-540-30035-X

Format:

Alıntı:

Mathematical Logic and Foundations.

20.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

21.

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:

Alıntı:

Mathematical Logic and Foundations.

22.

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:

Alıntı:

Mathematical Logic and Foundations.

23.

Trends in Continuum Mechanics of Porous Media

by

de Boer, Reint. author.

https://doi.org/10.1007/1-4020-3144-0

Format:

Alıntı:

Mathematical Logic and Foundations.

24.

Visualization, Explanation and Reasoning Styles in Mathematics

by

Mancosu, P. editor.

https://doi.org/10.1007/1-4020-3335-4

Format:

Alıntı:

Mathematical Logic and Foundations.

25.

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:

Alıntı:

Mathematical Logic and Foundations.

26.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

27.

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:

Alıntı:

Computer Science Logic and Foundations of Programming.

	{displayName}	{count}
{error}