Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: tableau algorithms
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:"005 - Computer programming, programs & data"
Search alternatives
:
tableau algorithms »
tableau algorithm
,
tables algorithms
Showing
1
-
11
of
11
Search:
'tableau algorithms'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Tools and
Algorithms
for the Construction and Analysis of Systems...
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
... and Applications -- Optimal
Tableau
Algorithms
for Coalgebraic Logics -- Blocked Clause Elimination -- Tools I...
”
Read Now
2
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Published 2005
Springer Berlin Heidelberg
Table of Contents:
“
... -- When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? -- Subquadratic
Algorithms
...
”
Read Now
3
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Published 2012
Springer Berlin Heidelberg
Table of Contents:
“
... for Reactive System Specifications by
Tableau
Method and Proof System -- Equational Abstraction Refinement...
”
Read Now
4
Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
Published 2014
Springer International Publishing
Table of Contents:
“
... -- Count and Forget: Uniform Interpolation of SHQ- Ontologies -- Coupling
Tableau
Algorithms
for Expressive...
”
Read Now
5
Semantics for Concurrency : Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK
Published 1990
Springer London
Table of Contents:
“
...A General
Tableau
Technique for Verifying Temporal Properties of Concurrent Programs (Extended...
”
Read Now
6
Principles and Practice of Constraint Programming - CP98 : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings
Published 1998
Springer Berlin Heidelberg
Table of Contents:
“
... & Conquer: Genetic
Algorithm
and CP for Optimization -- Some Experiments on Learning Soft Constraints...
”
Read Now
7
Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I
Published 2020
Springer International Publishing
Table of Contents:
“
... Linear Arithmetic -- Scalable
Algorithms
for Abduction via Enumerative Syntax-Guided Synthesis...
”
Read Now
8
Database Theory - ICDT'99 : 7th International Conference, Jerusalem, Israel, January 10-12, 1999, Proceedings
Published 1999
Springer Berlin Heidelberg
Table of Contents:
“
... Neighbor” Meaningful? -- On Rectangular Partitionings in Two Dimensions:
Algorithms
, Complexity...
”
Read Now
9
Computer Aided Verification : 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings
Published 2001
Springer Berlin Heidelberg
Table of Contents:
“
... -- Towards Efficient Verification of Arithmetic
Algorithms
over Galois Fields GF(2m) -- Timed Automata -- Job...
”
Read Now
10
Logic for Programming, Artificial Intelligence, and Reasoning : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings
Published 2013
Springer Berlin Heidelberg
Table of Contents:
“
... Falsifiability: Definitions,
Algorithms
, and Applications -- Solving Geometry Problems Using a Combination...
”
Read Now
11
Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Frameworks -- Regular Talks Theory --
Tableau
Calculi for Answer Set Programming -- Declarative Semantics...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 005 - Computer programming, programs & data
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
003 - Systems
1
Language
English
11
Collection
Springer eBooks 2005-
7
Springer Book Archives -2004
4
Author
Aoki, Toshiaki
1
Beeri, Catriel
1
Berry, Gerard
1
Buneman, Peter
1
Comon, Hubert
1
Demri, Stéphane
1
more ...
Esparza, Javier
1
Etalle, Sandro
1
Finkel, Alain
1
Kapur, Deepak
1
Kwiatkowska, Marta Z.
1
Maher, Michael
1
Majumdar, Rupak
1
McMillan, Ken
1
Middeldorp, Aart
1
Peltier, Nicolas
1
Puget, Jean-Francois
1
Ramanujam, R.
1
Sen, Sandeep
1
Shields, Michael W.
1
Sofronie-Stokkermans, Viorica
1
Taguchi, Kenji
1
Thomas, Richard M.
1
Truszczynski, Miroslav
1
Voronkov, Andrei
1
Weidenbach, Christoph
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%22005+-+Computer+programming%2C+programs+%26+data%22&lookfor=tableau+algorithms&type=AllFields
Send by Email
×
Loading...