1302 search results - page 149 / 261 » Free-Style Theorem Proving |
145
click to vote
AISC
2000
Springer
15 years 7 months ago
2000
Springer
There are many problems with the simplification of elementary functions, particularly over the complex plane. Systems tend to make “howlers” or not to simplify enough. In thi...
101
click to vote
ESSLLI
1999
Springer
15 years 7 months ago
1999
Springer
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
138
click to vote
HYBRID
1998
Springer
15 years 7 months ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
146
click to vote
TABLEAUX
1997
Springer
15 years 7 months ago
1997
Springer
Free-variable semantic tableaux are a well-established technique for first-order theorem proving where free variables act as a meta-linguistic device for tracking the eigenvariabl...
144
click to vote
LICS
1990
IEEE
15 years 7 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...