activity
20072013
most citedClones and Genoids in Lambda Calculus and First Order Logic

6 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing 2010Show all

1 paper · 1 filter

cs.LO2010

A New Approach to Abstract Machines - Introduction to the Theory of Configuration Machines

Zhaohua Luo

An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and…