55

Descriptions in Mathematical Logic

Year:
1984
Language:
english
File:
PDF, 1.60 MB
english, 1984
56

Interpolation in Computing Science: The Semantics of Modularization

Year:
2008
Language:
english
File:
PDF, 1.28 MB
english, 2008
58

Interpolation in propositional Horn logic

Year:
2018
Language:
english
File:
PDF, 386 KB
english, 2018