Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

scientific article; zbMATH DE number 4126684

From MaRDI portal
Publication:4206388
Jump to:navigation, search

zbMath0687.68012MaRDI QIDQ4206388

David A. Basin

Publication date: 1990


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

constructive type theoryterm rewriting systemsNuprl


Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Thue and Post systems, etc. (03D03)


Related Items (1)

A mechanically assisted constructive proof in category theory


Uses Software

  • Nuprl






This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4206388&oldid=18064100"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 6 February 2024, at 13:53.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki