Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Daniel de Rauglaudre"'
Autor:
Daniel de Rauglaudre
Publikováno v:
Journal of Formalized Reasoning, Vol 10, Iss 1, Pp 37-49 (2017)
Banach-Tarski Paradox states that a ball in 3D space is equidecomposable with twice itself, i.e. we can break a ball into a finite number of pieces, and with these pieces, build two balls having the same size as the initial ball. This strange result
Externí odkaz:
https://doaj.org/article/79c728cf28da45ed9a21e19dc79504d0
Autor:
Michel Mauny, Daniel de Rauglaudre
Publikováno v:
ACM SIGPLAN Lisp Pointers. :76-85
We present the operational semantics of streams and stream matching as discussed in. Streams are data structures such as lists, but with different primitive operations. Streams not only provide an interface to usual imput/output channels, but may use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95f14a1d806da81f5c4946f096094a82
https://doi.org/10.1145/141478.141510
https://doi.org/10.1145/141478.141510
Autor:
Daniel de Rauglaudre, Michel Mauny
Publikováno v:
LISP and Functional Programming
We present the operational semantics of streams and stream matching as discussed in. Streams are data structures such as lists, but with different primitive operations. Streams not only provide an interface to usual imput/output channels, but may use
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a56576f645893eebd294707d7442d94
https://doi.org/10.1145/141471.141510
https://doi.org/10.1145/141471.141510
Publikováno v:
Workstations and Publication Systems ISBN: 9781461291480
We present an interpretor for the PostScript page description language, running on the french workstation SM90 under Unix System V, designed to be the heart of a printing server. In the first part, we expose the choice of architecture that we made fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de346ed064c42e72307f7ce9b95e7b5c
https://doi.org/10.1007/978-1-4612-4770-8_3
https://doi.org/10.1007/978-1-4612-4770-8_3
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.