×

zbMATH — the first resource for mathematics

Found 141 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Nollet, Rémi; Saurin, Alexis; Tasson, Christine
PSPACE-completeness of a thread criterion for circular proofs in linear logic with least and greatest fixed points. (English) Zbl 1435.03088
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 317-334 (2019).
MSC:  03F52 03F07 68Q17
PDF BibTeX XML Cite
\textit{R. Nollet} et al., Lect. Notes Comput. Sci. 11714, 317--334 (2019; Zbl 1435.03088)
Full Text: DOI
De, Abhishek; Saurin, Alexis
Infinets: the parallel syntax for non-wellfounded proof-theory. (English) Zbl 07200674
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 297-316 (2019).
MSC:  03B70 03F52
PDF BibTeX XML Cite
\textit{A. De} and \textit{A. Saurin}, Lect. Notes Comput. Sci. 11714, 297--316 (2019; Zbl 07200674)
Full Text: DOI
Aguirre, Alejandro; Barthe, Gilles; Hsu, Justin; Silva, Alexandra
Almost sure productivity. (English) Zbl 07376040
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
\textit{A. Aguirre} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018; Zbl 07376040)
Full Text: DOI
Mannaa, Bassel; Møgelberg, Rasmus Ejlers
The clocks they are adjunctions. Denotational semantics for clocked type theory. (English) Zbl 1462.68023
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018).
MSC:  68N18 03B38 18C50 68Q55
PDF BibTeX XML Cite
\textit{B. Mannaa} and \textit{R. E. Møgelberg}, LIPIcs -- Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018; Zbl 1462.68023)
Full Text: DOI
Bonchi, Filippo; Ganty, Pierre; Giacobazzi, Roberto; Pavlovic, Dusko
Sound up-to techniques and complete abstract domains. (English) Zbl 07298742
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 175-184 (2018).
MSC:  68-XX
PDF BibTeX XML Cite
\textit{F. Bonchi} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 175--184 (2018; Zbl 07298742)
Full Text: DOI
Farka, František; Komendantskaya, Ekaterina; Hammond, Kevin
Coinductive soundness of corecursive type class resolution. (English) Zbl 06791233
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 311-327 (2017).
MSC:  68N30
PDF BibTeX XML Cite
\textit{F. Farka} et al., Lect. Notes Comput. Sci. 10184, 311--327 (2017; Zbl 06791233)
Full Text: DOI
Komendantskaya, Ekaterina; Johann, Patricia; Schmidt, Martin
A productivity checker for logic programming. (English) Zbl 06791225
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 168-186 (2017).
MSC:  68N30
PDF BibTeX XML Cite
\textit{E. Komendantskaya} et al., Lect. Notes Comput. Sci. 10184, 168--186 (2017; Zbl 06791225)
Full Text: DOI
Pous, Damien
Coinduction all the way up. (English) Zbl 1394.68352
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 307-316 (2016).
MSC:  68T15 03B35 06B23 68N30
PDF BibTeX XML Cite
\textit{D. Pous}, in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 307--316 (2016; Zbl 1394.68352)
Full Text: DOI
Traytel, Dmitriy
Formal languages, formally and coinductively. (English) Zbl 1387.68161
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 31, 17 p. (2016).
MSC:  68Q45 68Q65 68T15
PDF BibTeX XML Cite
\textit{D. Traytel}, LIPIcs -- Leibniz Int. Proc. Inform. 52, Article 31, 17 p. (2016; Zbl 1387.68161)
Full Text: DOI
Thibodeau, David; Cave, Andrew; Pientka, Brigitte
Indexed codata types. (English) Zbl 1360.68342
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 351-363 (2016).
MSC:  68N18 68N15 68P05 68Q55 68Q60
PDF BibTeX XML Cite
\textit{D. Thibodeau} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 351--363 (2016; Zbl 1360.68342)
Full Text: DOI
Endrullis, Jörg; Hansen, Helle Hvid; Hendriks, Dimitri; Polonsky, Andrew; Silva, Alexandra
A coinductive framework for infinitary rewriting and equational reasoning. (English) Zbl 1366.68114
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 143-159 (2015).
MSC:  68Q42 03B70 68T15
PDF BibTeX XML Cite
\textit{J. Endrullis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 143--159 (2015; Zbl 1366.68114)
Full Text: DOI
Czajka, Lukasz
Confluence of nearly orthogonal infinitary term rewriting systems. (English) Zbl 1366.68111
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 106-126 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
\textit{L. Czajka}, LIPIcs -- Leibniz Int. Proc. Inform. 36, 106--126 (2015; Zbl 1366.68111)
Full Text: DOI
Hirschowitz, André; Hirschowitz, Tom; Tabareau, Nicolas
Wild \(\omega\)-categories for the homotopy hypothesis in type theory. (English) Zbl 1433.03031
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 226-240 (2015).
MSC:  03B38 03G30 18N10 18M60
PDF BibTeX XML Cite
\textit{A. Hirschowitz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 38, 226--240 (2015; Zbl 1433.03031)
Full Text: DOI
Milius, Stefan; Wißmann, Thorsten
Finitary corecursion for the infinitary lambda calculus. (English) Zbl 1366.03172
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 336-351 (2015).
MSC:  03B40 03G30
PDF BibTeX XML Cite
\textit{S. Milius} and \textit{T. Wißmann}, LIPIcs -- Leibniz Int. Proc. Inform. 35, 336--351 (2015; Zbl 1366.03172)
Full Text: DOI arXiv
Downen, Paul; Johnson-Freyd, Philip; Ariola, Zena M.
Structures for structural recursion. (English) Zbl 1360.68361
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 127-139 (2015).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
\textit{P. Downen} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 127--139 (2015; Zbl 1360.68361)
Full Text: DOI
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz
Unguarded recursion on coinductive resumptions. (English) Zbl 1351.68074
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 183-198, electronic only (2015).
MSC:  68N30 18C20
PDF BibTeX XML Cite
\textit{S. Goncharov} et al., Electron. Notes Theor. Comput. Sci. 319, 183--198 (2015; Zbl 1351.68074)
Full Text: DOI
Sangiorgi, Davide
Equations, contractions, and unique solutions. (English) Zbl 1346.68139
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 421-432 (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
\textit{D. Sangiorgi}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 421--432 (2015; Zbl 1346.68139)
Full Text: DOI
Crubillé, Raphaëlle; Dal Lago, Ugo; Sangiorgi, Davide; Vignudelli, Valeria
On applicative similarity, sequentiality, and full abstraction. (English) Zbl 1444.68116
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015).
MSC:  68Q85 68N18
PDF BibTeX XML Cite
\textit{R. Crubillé} et al., Lect. Notes Comput. Sci. 9360, 65--82 (2015; Zbl 1444.68116)
Full Text: DOI
Grellois, Charles; Melliès, Paul-André
An infinitary model of linear logic. (English) Zbl 1459.03025
Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 41-55 (2015).
MSC:  03B47 68Q60
PDF BibTeX XML Cite
\textit{C. Grellois} and \textit{P.-A. Melliès}, Lect. Notes Comput. Sci. 9034, 41--55 (2015; Zbl 1459.03025)
Full Text: DOI
Trancón y Widemann, Baltasar; Lepper, Markus
Foundations of total functional data-flow programming. (English) Zbl 07362476
Levy, Paul (ed.) et al., Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 143-167 (2014).
MSC:  68N18 68N15
PDF BibTeX XML Cite
\textit{B. Trancón y Widemann} and \textit{M. Lepper}, in: Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). 143--167 (2014; Zbl 07362476)
Full Text: Link
Komendantskaya, Ekaterina; Schmidt, Martin; Heras, Jónathan
Exploiting parallelism in coalgebraic logic programming. (English) Zbl 1337.68054
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 121-148, electronic only (2014).
MSC:  68N17
PDF BibTeX XML Cite
\textit{E. Komendantskaya} et al., Electron. Notes Theor. Comput. Sci. 303, 121--148 (2014; Zbl 1337.68054)
Full Text: DOI
Crubillé, Raphaëlle; Dal Lago, Ugo
On probabilistic applicative bisimulation and call-by-value \(\lambda \)-calculi. (English) Zbl 1405.68076
Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 209-228 (2014).
MSC:  68N30 68N18
PDF BibTeX XML Cite
\textit{R. Crubillé} and \textit{U. Dal Lago}, Lect. Notes Comput. Sci. 8410, 209--228 (2014; Zbl 1405.68076)
Full Text: DOI
Dal Lago, Ugo; Sangiorgi, Davide; Alberti, Michele
On coinductive equivalences for higher-order probabilistic functional programs. (English) Zbl 1284.68424
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 297-308 (2014).
MSC:  68Q85 68N18 68Q87 03B70
PDF BibTeX XML Cite
\textit{U. Dal Lago} et al., in: Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '14, San Diego, CA, USA, January 22--24, 2014. New York, NY: Association for Computing Machinery (ACM). 297--308 (2014; Zbl 1284.68424)
Full Text: DOI
Sacchini, Jorge Luis
Type-based productivity of stream definitions in the calculus of constructions. (English) Zbl 1366.68254
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 233-242 (2013).
MSC:  68T15 03B70
PDF BibTeX XML Cite
\textit{J. L. Sacchini}, in: Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25--28, 2013. Los Alamitos, CA: IEEE Computer Society. 233--242 (2013; Zbl 1366.68254)
Full Text: DOI
Matthes, Ralph; Picard, Celia
Verification of redecoration for infinite triangular matrices using coinduction. (English) Zbl 1354.68184
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 55-69 (2013).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
\textit{R. Matthes} and \textit{C. Picard}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 55--69 (2013; Zbl 1354.68184)
Full Text: DOI
Endrullis, Jörg; Polonsky, Andrew
Infinitary rewriting coinductively. (English) Zbl 1354.03008
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 16-27 (2013).
MSC:  03B40 68Q42 68T15
PDF BibTeX XML Cite
\textit{J. Endrullis} and \textit{A. Polonsky}, LIPIcs -- Leibniz Int. Proc. Inform. 19, 16--27 (2013; Zbl 1354.03008)
Full Text: DOI
Abel, Andreas M.; Pientka, Brigitte
Wellfounded recursion with copatterns: a unified approach to termination and productivity. (English) Zbl 1323.68087
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 185-196 (2013).
MSC:  68N18 03B70 68P05
PDF BibTeX XML Cite
\textit{A. M. Abel} and \textit{B. Pientka}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 185--196 (2013; Zbl 1323.68087)
Full Text: DOI
Bonchi, Filippo; Pous, Damien
Checking NFA equivalence with bisimulations up to congruence. (English) Zbl 1301.68169
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 457-468 (2013).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
\textit{F. Bonchi} and \textit{D. Pous}, in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 457--468 (2013; Zbl 1301.68169)
Full Text: DOI
Hur, Chung-Kil; Neis, Georg; Dreyer, Derek; Vafeiadis, Viktor
The power of parameterization in coinductive proof. (English) Zbl 1301.68220
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 193-206 (2013).
MSC:  68T15 06B99 68N18 68N30
PDF BibTeX XML Cite
\textit{C.-K. Hur} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 193--206 (2013; Zbl 1301.68220)
Full Text: DOI
Abel, Andreas; Pientka, Brigitte; Thibodeau, David; Setzer, Anton
Copatterns, programming infinite structures by observations. (English) Zbl 1301.68080
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 27-38 (2013).
MSC:  68N18 68N15
PDF BibTeX XML Cite
\textit{A. Abel} et al., in: Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '13, Rome, Italy, January 23--25, 2013. New York, NY: Association for Computing Machinery (ACM). 27--38 (2013; Zbl 1301.68080)
Full Text: DOI
Hajiabadi, Mohammad; Kapron, Bruce M.
Computational soundness of coinductive symbolic security under active attacks. (English) Zbl 1315.94079
Sahai, Amit (ed.), Theory of cryptography. 10th theory of cryptography conference, TCC 2013, Tokyo, Japan, March 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36593-5/pbk). Lecture Notes in Computer Science 7785, 539-558 (2013).
MSC:  94A60 68M12
PDF BibTeX XML Cite
\textit{M. Hajiabadi} and \textit{B. M. Kapron}, Lect. Notes Comput. Sci. 7785, 539--558 (2013; Zbl 1315.94079)
Full Text: DOI
Danielsson, Nils Anders
Operational semantics using the partiality monad. (English) Zbl 1291.68114
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 127-138 (2012).
MSC:  68N18
PDF BibTeX XML Cite
\textit{N. A. Danielsson}, in: Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP '12, Copenhagen, Denmark, September 9--15, 2012. New York, NY: Association for Computing Machinery (ACM). 127--138 (2012; Zbl 1291.68114)
Full Text: DOI
Sangiorgi, Davide (ed.); Rutten, Jan (ed.)
Advanced topics in bisimulation and coinduction. (English) Zbl 1264.68009
Cambridge Tracts in Theoretical Computer Science 52. Cambridge: Cambridge University Press (ISBN 978-1-107-00497-9/hbk). xiii, 326 p. (2012).
Reviewer: Antti Valmari (Jyväskylä)
MSC:  68-06 68-02 00B15 68Q85 03B45
PDF BibTeX XML Cite
\textit{D. Sangiorgi} (ed.) and \textit{J. Rutten} (ed.), Advanced topics in bisimulation and coinduction. Cambridge: Cambridge University Press (2012; Zbl 1264.68009)
Brengos, Tomasz
Weak bisimulations for coalgebras over ordered functors. (English) Zbl 1362.68201
Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 87-103 (2012).
MSC:  68Q85
PDF BibTeX XML Cite
\textit{T. Brengos}, Lect. Notes Comput. Sci. 7604, 87--103 (2012; Zbl 1362.68201)
Full Text: DOI
Kozen, Dexter
Realization of coinductive types. (English) Zbl 1342.68217
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 237-246 (2011).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{D. Kozen}, Electron. Notes Theor. Comput. Sci. 276, 237--246 (2011; Zbl 1342.68217)
Full Text: DOI
Henglein, Fritz; Nielsen, Lasse
Regular expression containment, coinductive axiomatization and computational interpretation. (English) Zbl 1284.68353
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 385-398 (2011).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
\textit{F. Henglein} and \textit{L. Nielsen}, in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 385--398 (2011; Zbl 1284.68353)
Full Text: DOI
Komendantskaya, Ekaterina; Power, John
Coalgebraic derivations in logic programming. (English) Zbl 1247.68044
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 352-366, electronic only (2011).
MSC:  68N17 68N19 68Q55
PDF BibTeX XML Cite
\textit{E. Komendantskaya} and \textit{J. Power}, LIPIcs -- Leibniz Int. Proc. Inform. 12, 352--366 (2011; Zbl 1247.68044)
Full Text: DOI Link
Komendantskaya, Ekaterina; McCusker, Guy; Power, John
Coalgebraic semantics for parallel derivation strategies in logic programming. (English) Zbl 1308.68029
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 111-127 (2011).
MSC:  68N17 68Q65
PDF BibTeX XML Cite
\textit{E. Komendantskaya} et al., Lect. Notes Comput. Sci. 6486, 111--127 (2011; Zbl 1308.68029)
Full Text: DOI
Danielsson, Nils Anders
Total parser combinators. (English) Zbl 1323.68330
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 285-296 (2010).
MSC:  68Q42 68N18 68N20
PDF BibTeX XML Cite
\textit{N. A. Danielsson}, in: Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP '10, Baltimore, MD, USA, September 27--29, 2010. New York, NY: Association for Computing Machinery (ACM). 285--296 (2010; Zbl 1323.68330)
Full Text: DOI
Berger, Ulrich; Seisenberger, Monika
Proofs, programs, processes. (English) Zbl 1280.68077
Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 39-48 (2010).
MSC:  68N30 03F25 68N18
PDF BibTeX XML Cite
\textit{U. Berger} and \textit{M. Seisenberger}, Lect. Notes Comput. Sci. 6158, 39--48 (2010; Zbl 1280.68077)
Full Text: DOI
Niqui, Milad; Rutten, Jan
Sampling, splitting and merging in coinductive stream calculus. (English) Zbl 1286.68089
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 310-330 (2010).
MSC:  68N30
PDF BibTeX XML Cite
\textit{M. Niqui} and \textit{J. Rutten}, Lect. Notes Comput. Sci. 6120, 310--330 (2010; Zbl 1286.68089)
Full Text: DOI
Seki, Hirohisa
On inductive and coinductive proofs via unfold/fold transformations. (English) Zbl 1284.68201
De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 82-96 (2010).
MSC:  68N30 68N17
PDF BibTeX XML Cite
\textit{H. Seki}, Lect. Notes Comput. Sci. 6037, 82--96 (2010; Zbl 1284.68201)
Full Text: DOI
Berger, Ulrich
From coinductive proofs to exact real arithmetic. (English) Zbl 1218.03035
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 132-146 (2009).
MSC:  03F60 03D78 68N30
PDF BibTeX XML Cite
\textit{U. Berger}, Lect. Notes Comput. Sci. 5771, 132--146 (2009; Zbl 1218.03035)
Full Text: DOI
Niqui, Milad
Coalgebraic reasoning in Coq: bisimulation and the \(\lambda \)-coiteration scheme. (English) Zbl 1246.68199
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 272-288 (2009).
MSC:  68T15 03B15 68Q65 68N18
PDF BibTeX XML Cite
\textit{M. Niqui}, Lect. Notes Comput. Sci. 5497, 272--288 (2009; Zbl 1246.68199)
Full Text: DOI
Ancona, Davide; Lagorio, Giovanni; Zucca, Elena
Type inference by coinductive logic programming. (English) Zbl 1246.68079
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 1-18 (2009).
MSC:  68N17
PDF BibTeX XML Cite
\textit{D. Ancona} et al., Lect. Notes Comput. Sci. 5497, 1--18 (2009; Zbl 1246.68079)
Full Text: DOI
Hinze, Ralf
Functional pearl: streams and unique fixed points. (English) Zbl 1323.68121
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 189-200 (2008).
MSC:  68N18 68N15 68Q55
PDF BibTeX XML Cite
\textit{R. Hinze}, in: Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP '08, Victoria, BC, Canada, September 20--28, 2008. New York, NY: Association for Computing Machinery (ACM). 189--200 (2008; Zbl 1323.68121)
Full Text: DOI
Lucanu, Dorel; Roşu, Grigore; Grigoraş, Gheorghe
Regular strategies as proof tactics for CIRC. (English) Zbl 1279.68056
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 83-98 (2008).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
\textit{D. Lucanu} et al., Electron. Notes Theor. Comput. Sci. 204, 83--98 (2008; Zbl 1279.68056)
Full Text: DOI
Kupke, Clemens; Rutten, Jan
Observational coalgebras and complete sets of co-operations. (English) Zbl 1279.68233
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 153-174 (2008).
MSC:  68Q65
PDF BibTeX XML Cite
\textit{C. Kupke} and \textit{J. Rutten}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 153--174 (2008; Zbl 1279.68233)
Full Text: DOI
Bertot, Yves; Komendantskaya, Ekaterina
Inductive and coinductive components of corecursive functions in Coq. (English) Zbl 1279.68285
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 25-47 (2008).
MSC:  68T15
PDF BibTeX XML Cite
\textit{Y. Bertot} and \textit{E. Komendantskaya}, Electron. Notes Theor. Comput. Sci. 203, No. 5, 25--47 (2008; Zbl 1279.68285)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software