Publicações

Temporalization of Probabilistic Propositional Logic

AuthID
P-007-QJ7

Author(s)

Baltazar, P

Mateus, P

Tipo de Documento

Proceedings Paper

Year published

2009

Publicado

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743

Volume: 5407 LNCS, Páginas: 46-60

Conference

International Symposium on Logical Foundations of Computer Science, Lfcs 2009, Date: 3 January 2009 through 6 March 2009, Location: Deerfield Beach, FL

Indexing