Work

What’s Decidable about Sequences?

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-15643-4_11

Author: Carlo A. Furia

Institution: ETH Zurich

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2126807233

FWCI: 1.294

Cites: 14

Cited by: 8

Related to: