JKU Linz  
 
 


Publikationsdetails

Wissenschaftsgebiete 
Zitat: Isabela Dramnesc, Tudor Jebelean, S. Statulat, "Certification of Tail Recursive Bubble-Sort in Theorema and Coq" , in N. Bjørner, M. Heule, A. Voronkov: LPAR 2024 Complementary Volume, Serie Kalpa Publications in Computing, Vol. 18, EasyChair, Seite(n) 53--68, 2024, ISBN: 2515-1762
Original Titel: Certification of Tail Recursive Bubble-Sort in Theorema and Coq
Sprache des Titels: Englisch
Original Buchtitel: LPAR 2024 Complementary Volume
Veröffentlicher: EasyChair
Serie: Kalpa Publications in Computing
Volume: 18
Seitenreferenz: 53--68
Erscheinungsjahr: 2024
ISBN: 2515-1762
Anzahl der Seiten: 16
URL zu weiteren Infos: Link
(http:///publications/paper/tbwq)
Reichweite: international
Publikationstyp: Aufsatz / Paper in Tagungsband (referiert)
Autoren: Isabela Dramnesc, Tudor Jebelean, S. Statulat
Forschungseinheiten: Institut für Symbolisches Rechnen
Wissenschaftsgebiete: Mathematik (ÖSTAT:101)
Algebra (ÖSTAT:101001)
Computeralgebra (ÖSTAT:101005)
Geometrie (ÖSTAT:101009)
Kombinatorik (ÖSTAT:101012)
Mathematische Logik (ÖSTAT:101013)
Technische Mathematik (ÖSTAT:101020)
fodok.jku.at Zum Seitenanfang

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum