Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras

Conference Paper/Proceeding/Abstract 1605 views

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger

Lecture Notes In Computer Science, Volume: 6859, Pages: 393 - 399

Swansea University Author: Monika Seisenberger

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1007/978-3-642-22944-2_29

Published in:	Lecture Notes In Computer Science
Published:	2011
URI:	https://cronfa.swan.ac.uk/Record/cronfa7522

College:	Faculty of Science and Engineering
Start Page:	393
End Page:	399