Results 281 to 287 of about 191,691 (287)
Some of the next articles are maybe not open access.

Sequentes Positiones

openaire   +1 more source

Sequent calculus

2006
openaire   +1 more source

Glivenko Classes of Sequents

1970
openaire   +2 more sources

Sequent Occupance

2010
openaire   +1 more source

Cut-free sequent systems for temporal logic

The Journal of Logic and Algebraic Programming, 2008
exaly  

Sequent Calculus

2019
openaire   +1 more source

Sequents and Tableaus

2019
openaire   +1 more source
sequent calculus
computer science - logic in computer science
mathematics
sequent calculi
16. peace & justice
stilling basin
hydraulic jump
cut elimination
natural deduction
previous   27  28  29  

Home - About - Disclaimer - Privacy