No label defined (Q4171548)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 3605901

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 3605901

Statements

scholarly article

0 references

0 references

publication date

1977

0 references

full work available at URL

https://eudml.org/doc/92054

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

0 references

Flow diagrams, turing machines and languages with only two formation rules

0 references

A CUCH-machine: The automatic treatment of bound variables

0 references

0 references

Combinatory logic. With two sections by William Craig.

0 references

0 references

0 references

Correspondence between ALGOL 60 and Church's Lambda-notation

0 references

Recursive functions of symbolic expressions and their computation by machine, Part I

0 references

0 references

On the capabilities of while, repeat, and exit statements

0 references

GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4171548

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4171548&oldid=34616854"