Connecting a Logical Framework to a First-Order Logic Prover.
Paper in proceedings, 2005

Author

[Person 9f83931a-6434-47f7-8a9d-6bff10706aaa not found]

University of Gothenburg

[Person bbe845a7-8a82-4c3a-a1eb-39528a4b6e39 not found]

[Person 1bb3cdd5-ed43-4482-b62e-ddb936d312ef not found]

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

FroCos 2005

285-301

Subject Categories

Computer Science

More information

Created

10/7/2017