E-LIB Suche - Ergebnisse für: Paleo, Bruno Woltzenlogel

1

Stablecoins: Past, Present, and Future:

, In: Financial Cryptography and Data Security. FC 2023 International Workshops; Lecture Notes in Computer Science,

Nejadmalayeri, Ali ; Molchanovsky, Leon ; Paleo, Bruno Woltzenlogel. - p. 197-207 , 2023

2

NP-completeness of small conflict set generation for congru..:

Fellner, Andreas ; Fontaine, Pascal ; Paleo, Bruno Woltzenlogel
Formal Methods in System Design. 51 (2017) 3 - p. 533-544 , 2017

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

3

Reducing redundancy in cut-elimination by resolution:

Paleo, Bruno Woltzenlogel
Journal of Logic and Computation. 27 (2014) 2 - p. 577-606 , 2014

Link: https://doi.org/10.1093/..

4

Physics and proof theory:

Paleo, Bruno Woltzenlogel
Applied Mathematics and Computation. 219 (2012) 1 - p. 45-53 , 2012

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

5

Lifting propositional proof compression algorithms to first..:

Gorzny, Jan ; Postan, Ezequiel ; Woltzenlogel Paleo, Bruno
Journal of Logic and Computation. 31 (2020) 8 - p. 1903-1932 , 2020

Link: https://doi.org/10.1093/..

6

Complexity of translations from resolution to sequent calcu..:

REIS, GISELLE ; WOLTZENLOGEL PALEO, BRUNO
Mathematical Structures in Computer Science. 29 (2019) 8 - p. 1061-1091 , 2019

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

7

Greedy pebbling for proof space compression:

Fellner, Andreas ; Woltzenlogel Paleo, Bruno
International Journal on Software Tools for Technology Transfer. 21 (2017) 1 - p. 71-86 , 2017

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

8

Erratum to: Conflict Resolution: A First-Order Resolution C..:

Slaney, John ; Woltzenlogel Paleo, Bruno
Journal of Automated Reasoning. 60 (2017) 4 - p. 527-527 , 2017

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

9

Conflict Resolution: A First-Order Resolution Calculus with..:

Slaney, John ; Woltzenlogel Paleo, Bruno
Journal of Automated Reasoning. 60 (2017) 2 - p. 133-156 , 2017

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

10

Partial Regularization of First-Order Resolution Proofs:

Gorzny, Jan ; Postan, Ezequiel ; Paleo, Bruno Woltzenlogel
http://arxiv.org/abs/1804.06531. , 2018

Link: http://arxiv.org/abs/180..

11

NP-completeness of small conflict set generation for congru..:

Fellner, Andreas ; Fontaine, Pascal ; Paleo, Bruno Woltzenlogel
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10703-017-0283-x. , 2017

Link: https://hal.inria.fr/hal..

12

Scavenger 0.1: A Theorem Prover Based on Conflict Resolutio:

Itegulov, Daniyar ; Slaney, John ; Paleo, Bruno Woltzenlogel
http://arxiv.org/abs/1704.03275. , 2017

Link: http://arxiv.org/abs/170..

13

NP-completeness of small conflict set generation for congru..:

Fellner, Andreas ; Fontaine, Pascal ; Paleo, Bruno Woltzenlogel
info:eu-repo/semantics/altIdentifier/doi/10.1007/s10703-017-0283-x. , 2017

Link: https://inria.hal.scienc..

14

Proceedings of the Fifth Workshop on Proof eXchange for The..:

Dubois, Catherine ; Paleo, Bruno Woltzenlogel
http://arxiv.org/abs/1712.00898. , 2017

Link: http://arxiv.org/abs/171..

15

An Expressive Probabilistic Temporal Logic:

Paleo, Bruno Woltzenlogel
http://arxiv.org/abs/1603.07453. , 2016

Link: http://arxiv.org/abs/160..