Concepedia
1
Publications
29
Citations
H-Index
2008
Active since
Affiliations
Universidade da Madeira(Current)
M. Krevneris is an author at Universidade da Madeira specializing in linguistics, formal methods, and engineering.
Top concepts
EngineeringLinguisticsFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
2008–2008
An Axiomatic Characterization of Ensconcement-Based Contraction
Eduardo Fermé, M. Krevneris, Maurício D. L. Reis · Journal of Logic and Computation · 2008 · 29 citations
Computational Logic, Engineering, Base Contraction Functions +10
Rows per page
1–1 of 1