×

Found 4 Documents (Results 1–4)

100
MathJax

Variations on Noetherianness. (English) Zbl 1477.68070

Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 76-88 (2016).
MSC:  68N18 03F65
PDF BibTeX XML Cite
Full Text: arXiv Link

A decision procedure for regular expression equivalence in type theory. (English) Zbl 1350.68228

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 119-134 (2011).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

Year of Publication

Classification