Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and automatic theorem
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
dewey-ones:"004 - Data processing & computer science"
Search alternatives
:
automatic theorem »
automated theorem
,
automata theory
languages »
language
Showing
1
-
20
of
45
Search:
'formal languages and automatic theorem'
,
query time: 0.31s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Theorem
Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
...On the Utility of
Formal
Methods in the Development and Certification of Software --
Formal
...
”
Read Now
2
Automatic
Verification Methods for Finite State Systems : International Workshop, Grenoble, France. June 12-14, 1989. Proceedings
Published 1990
Springer Berlin Heidelberg
Table of Contents:
“
... declarative
language
-- Modal specifications -- Automated verification of timed transition models -- Temporal...
”
Read Now
3
Theorem
Provers in Circuit Design: Theory, Practice and Experience...
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... of refinement -- Effective
theorem
proving for hardware verification -- A
formal
framework for high level...
”
Read Now
4
Higher Order Logic
Theorem
Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... dedicated towards
formal
circuit synthesis -- Interfacing HOL90 with a functional database query
language
...
”
Read Now
5
Higher Order Logic
Theorem
Proving and Its Applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Published 1994
Springer Berlin Heidelberg
Table of Contents:
“
... -- Degrees of
formality
in shallow embedding hardware description
languages
in HOL -- A functional approach...
”
Read Now
6
Developments in
Language
Theory : 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
...Finite Automata and Regular
Languages
On
Automatic
Transitive Graphs.- Upper Bounds on Syntactic...
”
Read Now
7
Automata,
Languages
and Programming : 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974. Proceedings
Published 1974
Springer Berlin Heidelberg
Table of Contents:
“
...The generative power of two-level grammars -- A generalisation of Parikh's
theorem
in
formal
...
”
Read Now
8
Logic and Computational Complexity : International Workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994. Selected Papers
Published 1995
Springer Berlin Heidelberg
Table of Contents:
“
... uniformly -- Preservation
theorems
in finite model theory -- A query
language
for NC (extended abstract)...
”
Read Now
9
Formal
Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
... -- VeriCool: An
Automatic
Verifier for a Concurrent Object-Oriented
Language
-- A Caller-Side Inline Reference...
”
Read Now
10
Frontiers of Combining Systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... Prover -- Combination of Isabelle/HOL with
Automatic
Tools -- ATS: A
Language
That Combines Programming...
”
Read Now
11
Advanced Topics in Term Rewriting
by
Ohlebusch, Enno
Published 2002
Springer New York
Table of Contents:
“
... -- 10 Proving Termination of Logic Programs -- A Kruskal’s
Theorem
-- A.l Partial Well-Orderings -- A.2...
”
Read Now
12
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... of the Universal Automaton of a Regular
Language
-- Correlations of Partial Words -- Session 2A -- Testing...
”
Read Now
13
Automated Deduction in Geometry : Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
...
Automatic
Geometry
Theorem
-Proving and
Automatic
Geometry Problem-Solving -- Solving Geometric...
”
Read Now
14
Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... Randomized Search -- SMACK: Decoupling Source
Language
Details from Verifier Implementations -- Security...
”
Read Now
15
Theoretical Aspects of Computing - ICTAC 2007 : 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... with Timers and Types --
Automatic
Refinement of Split Binary Semaphore -- Stepwise Development of Simulink...
”
Read Now
16
Concurrency, Graphs and Models : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Published 2008
Springer Berlin Heidelberg
Table of Contents:
“
...An Overview of the Ciao Multiparadigm
Language
and Program Development Environment and Its Design...
”
Read Now
17
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... --
Automatic
Refinement and Vacuity Detection for Symbolic Trajectory Evaluation -- Session 8. Property...
”
Read Now
18
Computer Aided Verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...Understanding Counterexamples with explain -- Zapato:
Automatic
Theorem
Proving for Predicate...
”
Read Now
19
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Published 1988
Springer Berlin Heidelberg
Table of Contents:
“
... auxiliary pushdown automata -- Hotz-isomorphism
theorems
in
formal
language
theory -- First-order properties...
”
Read Now
20
Constructivity in Computer Science : Summer Symposium, San Antonio, TX, June 19-22, 1991. Proceedings
Published 1992
Springer Berlin Heidelberg
Table of Contents:
“
...Connecting
formal
semantics to constructive intuitions -- Kripke semantics for dependent type...
”
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 004 - Data processing & computer science
Year of Publication
From:
To:
Classification
004 - Data processing & computer science
621 - Applied physics
1
Language
English
45
Collection
Springer Book Archives -2004
27
Springer eBooks 2005-
18
Author
Alur, Rajeev
2
Brinksma, Ed
2
Kropf, Thomas
2
Rahonis, George
2
Thomas, Wolfgang
2
Valk, Rüdiger
2
more ...
Wang, Dongming
2
Alves-Foss, James
1
Ball, Thomas
1
Barthe, Gilles
1
Biere, Armin
1
Bloem, Roderick
1
Bozapalidis, Symeon
1
Brandt, Jens
1
Bro Miltersen, Peter
1
Cai, Jin-Yi
1
Camurati, Paolo Enrico
1
Cooper, Barry S.
1
Cori, Robert
1
Courcoubetis, Costas
1
Davenport, James H.
1
Degano, Pierpaolo
1
Durand, Bruno
1
Eijck, Jan van
1
Eveking, Hans
1
Freksa, Christian
1
Frid, Anna
1
Gao, Xiao-lu
1
Gianni, Patrizia
1
Giunchiglia, Fausto
1
Gramlich, Bernhard
1
Hariharan, Ramesh
1
Henzinger, Thomas
1
Hunt, Jr., Warren A.
1
Jantzen, Matthias
1
Johann, Patricia
1
Jones, Cliff B.
1
Jones, Robert B.
1
Joyce, Jeffrey J.
1
Kucera, Antonin
1
Kuich, Werner
1
Kumar, Ramayya
1
Larsen, Kim G.
1
Leivant, Daniel
1
Li, Angsheng
1
Liu, Zhiming
1
Loeckx, J.
1
Meseguer, José
1
Miola, Alfonso
1
Mizoguchi, Riichiro
1
Morozov, Andrei S.
1
Mukund, Madhavan
1
Myers, J.Paul Jr
1
Nielsen, Mogens
1
O'Donnell, Michael J.
1
Ohlebusch, Enno
1
Palamidessi, Catuscia
1
Peled, Doron A.
1
Pfalzgraf, Jochen
1
Pierre, Laurence
1
Rybalchenko, Andrey
1
Schneider, Klaus
1
Schreiner, Wolfgang
1
Schubert, E. Thomas
1
Seger, Carl-Johan H.
1
Shur, Arseny M.
1
Sifakis, Joseph
1
Socher-Ambrosius, Rolf
1
Somenzi, Fabio
1
Vinay, V.
1
Volkov, Mikhail V.
1
Wagner, Klaus W.
1
Weil, Pascal
1
Windley, Phillip J.
1
Wirsing, Martin
1
Wolper, Pierre
1
Woodcock, Jones
1
Yang, Lu
1
de Nicola, Rocco
1
van Hee, Kees
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22004+-+Data+processing+%26+computer+science%22&lookfor=formal+languages+and+automatic+theorem&type=AllFields
Send by Email
×
Loading...