Results 171 to 175 of about 712,824 (175)

Infinitary logic

openaire   +1 more source

Infinitary calculus for a restricted first-order linear temporal logic without contraction on quantified formulas

Lithuanian Mathematical Journal, 1999
exaly  

Infinitary Logics

openaire   +1 more source

2 - Infinitary logic

exaly  

Meaningless Sets in Infinitary Combinatory Logic

exaly