×

Found 15 Documents (Results 1–15)

Inspection and selection of representations. (English) Zbl 1428.68293

Kaliszyk, Cezary (ed.) et al., Intelligent computer mathematics. 12th international conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11617, 227-242 (2019).
MSC:  68T35 68T30
PDFBibTeX XMLCite
Full Text: DOI Link

Mathematical theory exploration in Theorema: reduction rings. (English) Zbl 1344.68210

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 3-17 (2016).
MSC:  68T15 13P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Verifying distributed systems: the operational approach. (English) Zbl 1315.68105

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 429-440 (2009).
MSC:  68N30 68N19 68M14 68Q60 68T15
PDFBibTeX XMLCite
Full Text: DOI

The control component of open mechanized reasoning systems. (English) Zbl 0958.68171

Armando, Alessandro (ed.) et al., Calculemus 99. Systems for integrated computation and deduction, Trento, Italy, July 11-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,3, 18 p., electronic only (1999).
MSC:  68T35 68T15
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software