No Cover Image

Conference Paper/Proceeding/Abstract 733 views

Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras

Ulrich Berger, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger Orcid Logo

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

Swansea University Author: Monika Seisenberger Orcid Logo

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
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 393
End Page: 399