WFRF:(Giese Martin 1970)
Sökning: WFRF:(Giese Martin 1970) > Taclets and the KeY...
- Giese, Martin,1970Chalmers tekniska högskola,Chalmers University of Technology (författare)
Taclets and the KeY Prover
- Artikel/kapitelEngelska2004
Förlag, utgivningsår, omfång ...
- Elsevier BV,2004
Nummerbeteckningar
- LIBRIS-ID:oai:research.chalmers.se:48c4b1e7-936c-42e4-aa9d-c1222472e8ec
- https://research.chalmers.se/publication/2344URI
- https://doi.org/10.1016/j.entcs.2004.09.014DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- We give a short overview of the KeY prover---which is the proof system belonging to the KeY tool---from a user interface perspective. In particular, we explain the concept of taclets, which are the basic building blocks for proofs in the KeY prover.
Ämnesord och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- interactive theorem proving
- theorem proving
- logic
- graphical user interface
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Chalmers tekniska högskola (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Electronic Notes in Theoretical Computer Science: Elsevier BV103, s. 67-791571-0661
Internetlänk
Hitta via bibliotek
- Electronic Notes in Theoretical Computer Science (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
Hitta mer i SwePub
- Av författaren/redakt...
- Giese, Martin, 1 ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- Electronic Notes ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
