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:
- Título do periódico: Handbook of the 4th World Congress and School on Universal Logic
- 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: 19 maio 2024. -
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 2024 maio 19 ] 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 2024 maio 19 ] 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
- On AGM for Non-Classical Logics
- Ontology repair through partial meet contraction
- Seminar on Ontology Research in Brazil, 6: proceedings
- Hyperintensional models and belief change
- Local change in ontologies with atomic decomposition
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas