Found 5 Documents (Results 1–5)
Short conjunctive normal forms in finitely valued logics. (English) Zbl 0818.03003
Reviewer: D.Mundici (Milano)
Extending temporal logic programming with choice predicates non- determinism. (English) Zbl 0824.68022
Linear logic and exceptions. (English) Zbl 0819.03002
Reviewer: J.Šefránek (Bratislava)
Filter Results by …
all
top 5
Author
- Avron, Arnon (1)
- Dam, Mads (1)
- Fouqueré, Christophe (1)
- Hähnle, Reiner (1)
- Orgun, Mehmet Ali (1)
- Vauzeilles, Jacqueline (1)
- Wadge, William W. (1)