A Universal Machine for Biform Theory Graphs

From MaRDI portal
Revision as of 19:21, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2843007

DOI10.1007/978-3-642-39320-4_6zbMath1278.68267arXiv1306.3198OpenAlexW1496849990WikidataQ57389343 ScholiaQ57389343MaRDI QIDQ2843007

Felix Mance, Michael Kohlhase, Florian Rabe

Publication date: 9 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1306.3198



Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)

Generic Literals ⋮ A scalable module system


Uses Software



This page was built for publication: A Universal Machine for Biform Theory Graphs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2843007&oldid=15771399"
Powered by MediaWiki