Search alternatives:
mathematical » mathematics (Expand Search)
languages » language (Expand Search)
Showing 1 - 20 results of 114 for search '"Mathematical Logic and Formal Languages."', query time: 0.44s Refine Results
1
Efficient graph rewriting and its implementation
by Dörr, Heiko (1962-)
Published: 1995
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
2
Structures in logic and computer science : A selection of essays in honor of A. Ehrenfeucht
Published: 1997
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
3
Introduction to HOL : A theorem proving environment for higher logic
by Gordon, Michael Wallace
Published: 1993
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
4
Isabelle/HOL : A proof assistant for higher-order logic
by Nipkow, Tobias
Published: 2002
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
5
Lectures on proof verification and approximation algorithms
Published: 1998
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
6
Basic proof theory
by Troelstra, Anne Sjerp
Published: 2000
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
7
Handbook of logic and proof techniques for computer science
by Krantz, Steven George (1951-)
Published: 2002
Subjects: “...Theory of computation -- Mathematical logic and formal languages...”
Book
Save to List
Saved in:
8
Logica : Volume 2 - Incompletezza, teoria assiomatica degli insiemi
by Abrusci, Vito Michele., szerző
Published: 2018
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
9
Algebraic Methods in General Rough Sets
Published: 2018
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
10
Feferman on foundations : logic, mathematics, philosophy
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages...”
Go to the source
Book
Save to List
Saved in:
11
The Handbook of Formal Methods in Human-Computer Interaction
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
12
Provably Correct Systems
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
13
Semigroups in Complete Lattices : Quantales, Modules and Related Topics
by Eklund, Patrik., szerző
Published: 2018
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
14
Applied Logic for Computer Scientists : Computational Deduction and Formal Proofs
by Ayala-Rincón, Mauricio
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
15
Theoretical Computer Science : 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
16
Grand Timely Topics in Software Engineering : International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
17
Static Analysis : 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
18
Logic, Language, and Computation : 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
19
Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
20
Controlling language in industry : controlled languages for technical documents
by Crabbe, Stephen, szerző
Published: 2017
Subjects: “...Mathematical Logic and Formal Languages....”
Go to the source
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search