DC Field
Value
Language
dc.contributor.author
Mahler, Stella
-
dc.date.accessioned
2025-02-05T15:42:42Z
-
dc.date.available
2025-02-05T15:42:42Z
-
dc.date.issued
2024-04-16
-
dc.identifier.citation
<div class="csl-bib-body"> <div class="csl-entry">Mahler, S. (2024, April 16). <i>Simulation of Primitive Recursive Arithmetic Through Proof Schemata</i> [Presentation]. Project Meeting, Grenoble, France. http://hdl.handle.net/20.500.12708/211017</div> </div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/211017
-
dc.language.iso
en
-
dc.subject
Inductive Proofs
en
dc.subject
Primitive Recursive Arithmetic
en
dc.subject
Proof Schemata
en
dc.title
Simulation of Primitive Recursive Arithmetic Through Proof Schemata
en
dc.type
Presentation
en
dc.type
Vortrag
de
dc.type.category
Presentation
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.event.name
Project Meeting
en
tuw.event.startdate
16-04-2024
-
tuw.event.enddate
16-04-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Grenoble
-
tuw.event.country
FR
-
tuw.event.presenter
Mahler, Stella
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.openairecristype
http://purl.org/coar/resource_type/R60J-J5BD
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
conference presentation
-
item.grantfulltext
none
-
crisitem.author.dept
E192-05 - Forschungsbereich Theory and Logic
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
Appears in Collections:
Presentation
Show simple item record

Google ScholarTM

Check