Logics Of Time And Computation

de Robert Goldblatt
idioma: inglês
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION, junho de 1992 ‧
ESGOTADO OU NÃO DISPONÍVEL
Venda o seu livro
Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs.

Logics Of Time And Computation

de Robert Goldblatt

Propriedade Descrição
ISBN: 9780937073940
Editor: CENTRE FOR THE STUDY OF LANGUAGE & INFORMATION
Data de Lançamento: junho de 1992
Idioma: Inglês
Dimensões: 152 x 228 x 15 mm
Encadernação: Capa mole
Páginas: 190
Tipo de produto: Livro
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9780937073940