Journal of Logic and Computation. Vol. 25, p. Art. no. 01012-
Paper in proceedings
Feedback and support
At research.chalmers.se you will find research projects from external funders. Search for all projects at Chalmers or just a single department.
Filter your search by funder, geographical data, project participants or collaborations.