|
Search the dblp DataBase
Roger Antonsen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Roger Antonsen
Uniform variable splitting. [Citation Graph (0, 0)][DBLP] IJCAR Doctoral Programme, 2004, pp:- [Conf]
- Roger Antonsen, Arild Waaler
Consistency of Variable Splitting in Free Variable Systems of First-Order Logic. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2005, pp:33-47 [Conf]
- Arild Waaler, Roger Antonsen
A Free Variable Sequent Calculus with Uniform Variable Splitting. [Citation Graph (0, 0)][DBLP] TABLEAUX, 2003, pp:214-229 [Conf]
- Roger Antonsen, Arild Waaler
A Labelled System for IPL with Variable Splitting. [Citation Graph (0, 0)][DBLP] CADE, 2007, pp:132-146 [Conf]
- Roger Antonsen, Arild Waaler
Liberalized Variable Splitting. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:3-30 [Journal]
Search in 0.001secs, Finished in 0.001secs
|