scientific article; zbMATH DE number 6816932

DOI10.23638/LMCS-13(4:11)2017zbMath1459.68142arXiv1708.06010MaRDI QIDQ4596788

Yuxi Fu

Publication date: 11 December 2017

Full work available at URL: https://arxiv.org/abs/1708.06010

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

zbMATH Keywords

recursion theoryuniversal machinetheory of interactionGödel encoding

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (5)

Unnamed Item ⋮ Extensional Petri net ⋮ Unnamed Item ⋮ Counting nondeterministic computations ⋮ A thesis for interaction

This page was built for publication: