Formal Languages, Formally and Coinductively

From MaRDI portal

Revision as of 00:33, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5369496

Jump to:navigation, search

DOI10.4230/LIPIcs.FSCD.2016.31zbMath1387.68161OpenAlexW2504864156MaRDI QIDQ5369496

Dmitriy Traytel

Publication date: 17 October 2017

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

zbMATH Keywords

formal languages coinduction corecursion Isabelle/HOL interactive theorem proving codatatypes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Friends with Benefits ⋮ On the Key Dependent Message Security of the Fujisaki-Okamoto Constructions

Uses Software

This page was built for publication: Formal Languages, Formally and Coinductively

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5369496&oldid=20077491"