Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Donato, Pablo
261  Ergebnisse:
Personensuche X
?
1

A drag-and-drop proof tactic:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin - p. 197-209 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

The Flower Calculus:

Donato, Pablo
info:eu-repo/semantics/altIdentifier/arxiv/2402.15174.  , 2024
Link: https://hal.science/hal-..
 
?
3

The Flower Calculus:

Donato, Pablo
info:eu-repo/semantics/altIdentifier/arxiv/2402.15174.  , 2024
Link: https://hal.science/hal-..
 
?
4

A drag-and-drop proof tactic:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
info:eu-repo/semantics/altIdentifier/arxiv/2210.11820.  , 2022
Link: https://hal.science/hal-..
 
?
5

A drag-and-drop proof tactic:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
info:eu-repo/semantics/altIdentifier/arxiv/2210.11820.  , 2022
Link: https://hal.science/hal-..
 
?
6

Actema : une interface graphique et gestuelle pour preuves ..:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
hal-03626854.  , 2022
Link: https://inria.hal.scienc..
 
?
7

Certifying Proof-By-Linking:

Chaudhuri, Kaustuv ; Donato, Pablo ; Massacci, Luigi.
hal-04317972.  , 2022
Link: https://inria.hal.scienc..
 
?
8

Actema : une interface graphique et gestuelle pour preuves ..:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
hal-03626854.  , 2022
Link: https://inria.hal.scienc..
 
?
9

A drag-and-drop proof tactic:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
info:eu-repo/semantics/altIdentifier/arxiv/2210.11820.  , 2022
Link: https://hal.science/hal-..
 
?
10

Certifying Proof-By-Linking:

Chaudhuri, Kaustuv ; Donato, Pablo ; Massacci, Luigi.
hal-04317972.  , 2022
Link: https://inria.hal.scienc..
 
?
11

Certifying Proof-By-Linking:

Chaudhuri, Kaustuv ; Donato, Pablo ; Massacci, Luigi.
hal-04317972.  , 2022
Link: https://inria.hal.scienc..
 
?
12

A drag-and-drop proof tactic:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
info:eu-repo/semantics/altIdentifier/doi/10.1145/3497775.3503692.  , 2022
Link: https://hal.archives-ouv..
 
?
13

A drag-and-drop proof tactic:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
http://arxiv.org/abs/2210.11820.  , 2022
Link: http://arxiv.org/abs/221..
 
?
14

Actema : une interface graphique et gestuelle pour preuves ..:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
hal-03626854.  , 2022
Link: https://inria.hal.scienc..
 
?
15

Actema : une interface graphique et gestuelle pour preuves ..:

Donato, Pablo ; Strub, Pierre-Yves ; Werner, Benjamin
hal-03626854.  , 2022
Link: https://inria.hal.scienc..
 
1-15