Work

Getting Saturated with Induction

Year: 2022

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-22337-2_15

Authors: Márton Hajdu, Petra Hozzová, Laura Kovács, Giles Reger, Andrei Voronkov

Institutions: TU Wien, University of Manchester

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Austrian Science Fund, Technische Universität Wien, Engineering and Physical Sciences Research Council, H2020 European Research Council

Awards: G5530650714, QuTie: reasoning with Quantifiers and Theories, Automated Reasoning with Theories and Induction for Software Technology, G8602988974, Logical Methods in Computer Science

OpenAlex ID: W4312593791

FWCI: 0.553

Cites: 22

Cited by: 4

Related to: 10