Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Raskin, Jean-Francois
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Publications
Publikationen
Projects
APIs
Name Card
Full name
Familienname, Vorname
Raskin, Jean-Francois
Contributing Publications
Mitbeteiligte Publikationen
(All)
All
Conference Papers
Books & Book Chapters
Show/Hide filters
Access Type
1
Open Access
Author
1
Hajdu, Márton
1
Kovács, Laura
1
Reger, Giles
1
Voronkov, Andrei
Subject
1
Automated reasoning
1
Induction
1
Theorem proving
Date issued
1
2022
Close filters
Filter:
Author:
Hozzová, Petra
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Hajdu, Márton
; Hozzová, Petra
; Kovács, Laura
; Reger, Giles
; Voronkov, Andrei
Getting Saturated with Induction
Book Contribution
Buchbeitrag
29-Dec-2022
Claim Researcher Page
Contact via feedback form
If you want contact administrator site clicking the follow button