scientific article
From MaRDI portal
Publication:3939218
zbMath0481.68029MaRDI QIDQ3939218
Jan Willem Klop, Jan A. Bergstra
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
proof systemschemesHoare's logictermination assertionsdatatype specificationsfirst order specificationssecond order semantics
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (2)
On the consistency of Koomen's fair abstraction rule ⋮ Wythoff games, continued fractions, cedar trees and Fibonacci searches
This page was built for publication:
