105 search results - page 7 / 21 » Automated Reasoning in Some Local Extensions of Ordered Stru... |
100
click to vote
TPHOL
2000
IEEE
15 years 3 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
103
click to vote
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
SEMWEB
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
100
click to vote
ASE
2006
15 years 10 days ago
2006
The structured programming literature provides methods and a wealth of heuristic knowledge for guiding the construction of provably correct imperative programs. We investigate the...
110
click to vote
ICLP
2010
Springer
15 years 4 months ago
2010
Springer
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...