scientific article; zbMATH DE number 512881

From MaRDI portal

Publication:4281581

Jump to:navigation, search

zbMath0791.68016MaRDI QIDQ4281581

Publication date: 10 March 1994

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

zbMATH Keywords

unification dependency graph program transformation transition graph proof trees functional logic programming languages call graph

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic programming (68N17)

Uses Software

Unnamed Item

This page was built for publication:

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