Results 281 to 283 of about 25,817 (283)
Some of the next articles are maybe not open access.

The expressive power of sequent calculi

2013
openaire   +1 more source

Variants of the first sequent calculi

2014
openaire   +1 more source

Sequent Calculi with Q–rules

2000
openaire   +1 more source
sequent calculus
mathematics
computer science - logic in computer science
f.4.1
temporal logics
cut elimination
proof theory
modal logic
previous   27  28  29  

Home - About - Disclaimer - Privacy