No label defined (Q3384901)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	No label defined	scientific article

Statements

scholarly article

0 references

Sorin Stratulat

0 references

publication date

17 December 2021

0 references

full work available at URL

https://arxiv.org/abs/1810.07374

0 references

http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLC2018.4

0 references

MaRDI profile type

MaRDI publication profile

0 references

Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs

0 references

Automated Reasoning with Analytic Tableaux and Related Methods

0 references

Sequent calculi for induction and infinite descent

0 references

Weak alternating automata are not that weak

0 references

Cyclic proofs with ordering constraints

0 references

Mechanically certifying formula-based Noetherian induction reasoning

0 references

Identifiers

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:3384901

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3384901&oldid=36751816"