Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jérôme Fortier"'
Autor:
Luigi Santocanale, Jérôme Fortier
Publikováno v:
EPiC Series in Computing.
One of the authors introduced in [1] a calculus ofcircular proofs for studying the computability arising from thefollowing categorical operations: finite products and coproducts,initial algebras, final coalgebras. The calculus of[1] is cut-free; yet,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::48605dadf31114ab9df8588e0def82a0
https://doi.org/10.29007/54ps
https://doi.org/10.29007/54ps
Publikováno v:
Theoretical Computer Science. 502:76-87
In this paper, we consider the generation of three classes of polyominoes, distinguished by their connectivity type. We present a two-player game called gomino, and we show how this game induces an algorithm to generate these sets of polyominoes acco
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ceb8b856aa92835d2d024b9fbfc61bf
https://doi.org/10.1016/j.tcs.2012.02.032
https://doi.org/10.1016/j.tcs.2012.02.032