Work

Systems of explicit mathematics with non-constructive μ-operator and join

Year: 1996

Type: article

Source: Annals of Pure and Applied Logic

DOI: 10.1016/s0168-0072(96)00005-x

Authors: Thomas Glaß, Thomas Strahm

Institutions: Siemens (Germany), University of Bern

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: National Science Foundation, Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

OpenAlex ID: W2045113137

FWCI: 0.961

Cites: 42

Cited by: 15

Related to: 10