scientific article

zbMath0308.68011MaRDI QIDQ4066560

Louis Nolin, Gilles Ruggiu

Publication date: 1973

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General topics in the theory of software (68N01)

Related Items (6)

Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Étude et implémentation d'un système de déduction pour logique algorithmique ⋮ Fundamental properties of infinite trees

This page was built for publication: