Work

Temporal Logic and Recursion

Year: 1991

Type: article

Source: Fundamenta Informaticae

DOI: 10.3233/fi-1991-14207

Authors: Fred Kröger, Stephan Merz

Institution: Ludwig-Maximilians-Universität München

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W43751497

FWCI:

Cites:

Cited by: 1

Related to: 10