Sabine Broda und Damas - Info zur Person

(1 - 6 von 9

)

Progress in Artificial Intelligence. Knowledge Extraction,...

books.google.cz

10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December , Proceedings Pavel Brazdil, Alípio Jorge. A Context-Free Grammar Representation for Normal Inhabitants of Types in TAλ Sabine Broda and Lu ́ıs Damas DCC-FC & LIACC, Universidade do Porto, R. do Campo Alegre ...

Compact bracket abstraction in combinatory logic | The Journal of...

www.cambridge.org

Compact bracket abstraction in combinatory logic - Volume 62 Issue 3 - Sabine Broda, Luís Damas

The decidability of a fragment of BB′IW-logic

www.ime.unicamp.br

The decidability of a fragment of BB′IW-logic. Sabine Broda, Luı́s Damas, Marcelo Finger, and Paulo J. S. Silva. Theoretical Computer Science, PDF.

-- WoLLIC th Workshop on Logic, Language, Information and...

www.cin.ufpe.br

1:30pm to 2pm, Sabine Broda and Luis Damas. On principal type of BCK-lambda -terms. 2pm to 2:30pm, Murdoch Gabbay and Aad Mathijssen. A formal ...

On combinatory complete sets of proper combinators | Journal of...

www.cambridge.org

On combinatory complete sets of proper combinators - Volume 7 Issue 6 - SABINE BRODA, LUÍS DAMAS

Paulo J. S. Silva / papers

www.ime.unicamp.br

Sabine Broda, Luı́s Damas, Marcelo Finger, and Paulo J. S. Silva. Theoretical Computer Science, Some inexact hybrid proximal augmented Lagrangian algorithms. Carlos HumesJr., Paulo J.S. Silva, Benar F. Svaiter. Numerical Algorithms, A note on the existence of zeroes of convexly regularized sums ...