Ostrun Ibens (ibens)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Hähnle, Reiner and Ibens, Ostrun. 1994. “Improving Temporal Logic Tableaux Using Integer Constraints.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 535–539. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Ibens, Ostrun. 2002. “Connection Tableau Calculi with Disjunctive Constraints.” Studia Logica: An International Journal for Symbolic Logic 70(2): 241–270.