scientific article; zbMATH DE number 1231700
From MaRDI portal
Publication:4223031
zbMath0917.68200MaRDI QIDQ4223031
Carsten Schuermann, Frank Pfenning
Publication date: 10 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A logical framework with higher-order rational (circular) terms ⋮ A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading
Uses Software
This page was built for publication:
