scientific article

From MaRDI portal

Publication:4016565

Jump to:navigation, search

zbMath0755.68083MaRDI QIDQ4016565

Carolyn L. Talcott

Publication date: 16 January 1993

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

zbMATH Keywords

abstract data types binding operator binding paths binding points binding tree bound variable names

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)

Related Items (2)

A first order logic of effects ⋮ A theory of binding structures and applications to rewriting

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4016565&oldid=17718043"