scientific article; zbMATH DE number 7699444
From MaRDI portal
Publication:6099621
DOI10.4230/lipics.itp.2021.27MaRDI QIDQ6099621
César A. Muñoz, Andréia Borges Avelar, Ariane Alves Almeida, Anthony Narkawicz, Unnamed Author, Mauricio Ayala-Rincón, Unnamed Author, Mariano M. Moscato
Publication date: 20 June 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Formal verification of termination criteria for first-order recursive functions ⋮ Formalization of the computational theory of a Turing complete functional language model
This page was built for publication:
