Search Results for '1996:whyaremodallogicssorobu'

1996:whyaremodallogicssorobu published presentations and documents on DocSlides.

Decidable fragments of FIrst order logic

by karlyn-bohler

R.RamanujamTheInstituteofMathematicalSciences,Chen...