Mostrando 5 resultados

Descrição arquivística
Cezar A. Mortari
Visualizar impressão
Visualização em ficha Visualização em tabela
Artigo
BR SPCLEARQ AMACL-AP-APesq-PIT-IT027 · Item · 1983
Parte de Andrea Maria Altino de Campos Loparic
Artigo escrito por Andrea Loparic e Cezar A. Mortari intitulado "Valorações na Lógica do Tempo".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT041 · Item · 1984-11
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Cezar A. Mortari intitulado "On a valuation semantics for S4".
Artigo
BR SPCLEARQ AMACL-AP-APesq-PITER-IT040 · Item · s.d.
Parte de Andrea Maria Altino de Campos Loparic
Artigo de Cezar A. Mortari intitulado "Sobre uma semântica de valorações para S4".
Separata
BR SPCLEARQ AMACL-AP-APesq-PIT-IT028 · Item · 1983
Parte de Andrea Maria Altino de Campos Loparic
Separata de artigo escrito por Andrea Loparic e Cezar A. Mortari intitulado "Valuations in Temporal Logic".