Revising formal program specifications using KMTS (2013)
- Authors:
- USP affiliated authors: WASSERMANN, RENATA - IME ; OLIVEIRA, PAULO DE TARSO GUERRA - IME
- Unidade: IME
- Subjects: LÓGICA MATEMÁTICA; REPRESENTAÇÃO DE CONHECIMENTO
- Language: Inglês
- Imprenta:
- Publisher: UNILOG
- Publisher place: Rio de Janeiro
- Date published: 2013
- Source:
- Conference titles: World Congress and School on Universal Logic
-
ABNT
OLIVEIRA, Paulo de Tarso Guerra e ANDRADE, Aline e WASSERMANN, Renata. Revising formal program specifications using KMTS. 2013, Anais.. Rio de Janeiro: UNILOG, 2013. Disponível em: https://www.uni-log.org/start4.html. Acesso em: 20 fev. 2026. -
APA
Oliveira, P. de T. G., Andrade, A., & Wassermann, R. (2013). Revising formal program specifications using KMTS. In Handbook of the 4th World Congress and School on Universal Logic. Rio de Janeiro: UNILOG. Recuperado de https://www.uni-log.org/start4.html -
NLM
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2026 fev. 20 ] Available from: https://www.uni-log.org/start4.html -
Vancouver
Oliveira P de TG, Andrade A, Wassermann R. Revising formal program specifications using KMTS [Internet]. Handbook of the 4th World Congress and School on Universal Logic. 2013 ;[citado 2026 fev. 20 ] Available from: https://www.uni-log.org/start4.html - Revision of CTL models
- Toward the revision of CTL models through Kripke modal transition systems
- Belief revision on computation tree logic
- Revisão de modelos CTL
- Revisão de crenças temporais
- Horn clause contraction functions: belief set and belief base approaches
- Belief revision and computer science
- Hyperintensional models and belief change
- Merging ontologies via kernel contraction
- On the link between partial meet, kernel, and infra contraction and its application to Horn logic
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
