E-LIB Suche - Ergebnisse für: Constable, Robert L.

1

Piano Recital: Lane, Piers - CONSTABLE, R. / LISZT, F. / LO..

Naxos Music Library

Szymanowski, Karol ; Schubert, Franz ; Liszt, Franz... , 2023

Link: http://suub.naxosmusicli..

2

Bar Induction is Compatible with Constructive Type Theory:

Rahli, Vincent ; Bickford, Mark ; Cohen, Liron.
Journal of the ACM (JACM). 66 (2019) 2 - p. 1-35 , 2019

Link: https://dl.acm.org/doi/1..

3

Intuitionistic ancestral logic:

Cohen, Liron ; Constable, Robert L
Journal of Logic and Computation. 29 (2019) 4 - p. 469-486 , 2019

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

4

Bar Induction is Compatible with Constructive Type Theory:

Rahli, Vincent ; Bickford, Mark ; Cohen, Liron.
Journal of the ACM. 66 (2019) 2 - p. 1-35 , 2019

Link: https://doi.org/10.1145/..

5

Implementing Euclid's straightedge and compass construction..:

Kellison, Ariel ; Bickford, Mark ; Constable, Robert
Annals of Mathematics and Artificial Intelligence. 85 (2018) 2-4 - p. 175-192 , 2018

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

6

Computability Beyond Church-Turing via Choice Sequences:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Bickford, Mark ; Cohen, Liron ; Constable, Robert L.. - p. 245-254 , 2018

Link: https://dl.acm.org/doi/1..

7

Bar induction : the good, the bad, and the ugly:

, In: Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science,

Rahli, Vincent ; Bickford, Mark ; Constable, Robert L. - p. 1-12 , 2017

Link: https://dl.acm.org/doi/1..

8

Computational complexity and induction for partial computab..:

, In: Reflections on the Foundations of Mathematics,

Constable, Robert L. ; Crary, Karl - p. 164-181 , 2017

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

9

EventML: Specification, verification, and implementation of..:

Rahli, Vincent ; Guaspari, David ; Bickford, Mark.
Science of Computer Programming. 148 (2017) - p. 26-48 , 2017

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

10

Social Work and Family Therapy: Interdisciplinary Roots of ..:

Constable, Robert
Nauki o Wychowaniu. Studia Interdyscyplinarne. 3 (2016) 2 - p. 147-160 , 2016

Link: https://doi.org/10.18778..

11

Prediction and validation of new polarity substrates employ..:

Constable, Robert ; Saiu, Peter ; Soriano, Erika...
The FASEB Journal. 30 (2016) S1 - p. , 2016

Link: https://doi.org/10.1096/..

12

Developing Correctly Replicated Databases Using Formal Tool:

, In: 2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks,

Schiper, Nicolas ; Rahli, Vincent ; Van Renesse, Robbert.. - p. 395-406 , 2014

Link: https://doi.org/10.1109/..

13

Intuitionistic completeness of first-order logic:

Constable, Robert ; Bickford, Mark
Annals of Pure and Applied Logic. 165 (2014) 1 - p. 164-198 , 2014

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

14

Social Workers, Conscience Protection and Practice:

Constable, Robert
Journal of Religion & Spirituality in Social Work: Social Thought. 32 (2013) 2 - p. 114-130 , 2013

Link: https://doi.org/10.1080/..

15

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60t... Lecture Notes in Computer Science ; 7230;SpringerLink, Bücher

Constable, Robert L. ; Silva, Alexandra , 2012

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