Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540232124, 9783540302100

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Decision Procedure for Equality Logic with Uninterpreted Functions

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_7 ◽

2004 ◽

pp. 66-79 ◽

Author(s):

Olga Tveretina

Keyword(s):

Decision Procedure

Download Full-text

Recognition of Whitehead-Minimal Elements in Free Groups of Large Ranks

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_18 ◽

2004 ◽

pp. 211-221

Author(s):

Alexei D. Miasnikov

Keyword(s):

Free Groups ◽

Minimal Elements

Download Full-text

The Algorithmization of Physics: Math Between Science and Engineering

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_1 ◽

2004 ◽

pp. 1-7 ◽

Author(s):

Markus Rosenkranz

Keyword(s):

Science And Engineering

Download Full-text

Extending Finite Model Searching with Congruence Closure Computation

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_9 ◽

2004 ◽

pp. 94-102 ◽

Author(s):

Jian Zhang ◽

Hantao Zhang

Keyword(s):

Finite Model ◽

Congruence Closure

Download Full-text

Polynomial Interpretations with Negative Coefficients

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_16 ◽

2004 ◽

pp. 185-198 ◽

Author(s):

Nao Hirokawa ◽

Aart Middeldorp

Download Full-text

Singularities in Qualitative Reasoning

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_24 ◽

2004 ◽

pp. 276-280 ◽

Author(s):

Björn Gottfried

Keyword(s):

Qualitative Reasoning

Download Full-text

Generic Hermitian Quantifier Elimination

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_8 ◽

2004 ◽

pp. 80-93 ◽

Author(s):

Andreas Dolzmann ◽

Lorenz A. Gilch

Keyword(s):

Quantifier Elimination

Download Full-text

Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_11 ◽

2004 ◽

pp. 118-131

Author(s):

Laurent Granvilliers ◽

Mina Ouabiba

Keyword(s):

Constraint Satisfaction ◽

Interval Constraint

Download Full-text

Proof Search in Minimal Logic

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_3 ◽

2004 ◽

pp. 15-25 ◽

Author(s):

Helmut Schwichtenberg

Keyword(s):

Minimal Logic ◽

Download Full-text

Abstraction-Driven Verification of Array Programs

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30210-0_23 ◽

2004 ◽

pp. 271-275 ◽

Author(s):

David Déharbe ◽

Abdessamad Imine ◽

Silvio Ranise

Download Full-text