E-LIB Suche - Ergebnisse für: Sacerdoti Coen, Claudio

1

Reversible debugging of concurrent Erlang programs: Support..:

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard..
Journal of Logical and Algebraic Methods in Programming. 138 (2024) - p. 100944 , 2024

Link: https://doi.org/10.1016/..

2

Causal Reversibility Implies Time Reversibility:

, In: Quantitative Evaluation of Systems; Lecture Notes in Computer Science,

Bernardo, Marco ; Lanese, Ivan ; Marin, Andrea... - p. 270-287 , 2023

Link: https://doi.org/10.1007/..

3

Reversibility in Erlang: Imperative Constructs:

, In: Reversible Computation; Lecture Notes in Computer Science,

Lami, Pietro ; Lanese, Ivan ; Stefani, Jean-Bernard.. - p. 187-203 , 2022

Link: https://doi.org/10.1007/..

4

Intelligent Computer Mathematics: 14th International Confer..

Lecture Notes in Artificial Intelligence, 12833

Kamareddine, Fairouz ; Sacerdoti Coen, Claudio - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

5

Analysis of smart contracts balances:

Laneve, Cosimo ; Sacerdoti Coen, Claudio
Blockchain: Research and Applications. 2 (2021) 3 - p. 100020 , 2021

Link: https://doi.org/10.1016/..

6

Functional and Constraint Logic Programming: 28th Internati..

Theoretical Computer Science and General Issues, 12560

Hanus, Michael ; Sacerdoti Coen, Claudio - 1st ed. 2021 . , 2021

Link: https://doi.org/10.1007/..

7

Logic-Independent Proof Search in Logical Frameworks: (Shor..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Kohlhase, Michael ; Rabe, Florian ; Sacerdoti Coen, Claudio. - p. 395-401 , 2020

Link: https://doi.org/10.1007/..

8

Intelligent Computer Mathematics: 12th International Confer..

Lecture Notes in Artificial Intelligence, 11617

Kaliszyk, Cezary ; Brady, Edwin ; Kohlhase, Andrea. - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

9

The Coq Library as a Theory Graph:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Müller, Dennis ; Rabe, Florian ; Sacerdoti Coen, Claudio - p. 171-186 , 2019

Link: https://doi.org/10.1007/..

10

A Plugin to Export Coq Libraries to XML:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Sacerdoti Coen, Claudio - p. 243-257 , 2019

Link: https://doi.org/10.1007/..

11

Implementing type theory in higher order constraint logic p..:

GUIDI, FERRUCCIO ; SACERDOTI COEN, CLAUDIO ; TASSI, ENRICO
Mathematical Structures in Computer Science. 29 (2019) 8 - p. 1125-1150 , 2019

Link: https://doi.org/10.1017/..

12

Relational Data Across Mathematical Libraries:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

Condoluci, Andrea ; Kohlhase, Michael ; Müller, Dennis... - p. 61-76 , 2019

Link: https://doi.org/10.1007/..

13

On the value of variables:

Accattoli, Beniamino ; Sacerdoti Coen, Claudio
Information and Computation. 255 (2017) - p. 224-242 , 2017

Link: https://doi.org/10.1016/..

14

A Survey on Retrieval of Mathematical Knowledge:

Guidi, Ferruccio ; Sacerdoti Coen, Claudio
Mathematics in Computer Science. 10 (2016) 4 - p. 409-427 , 2016

Link: https://doi.org/10.1007/..

15

Lebesgue's dominated convergence theorem in Bishop's style:

Sacerdoti Coen, Claudio ; Zoli, Enrico
Annals of Pure and Applied Logic. 163 (2012) 2 - p. 140-150 , 2012

Link: https://doi.org/10.1016/..