Martin Krevneris


AuthID: R-006-KZQ

Publications Requiring Validation

1
TITLE: An axiomatic characterization of ensconcement-based contraction
AUTHORS: Eduardo Ferme ; Martin Krevneris; Mauricio Reis;
PUBLISHED: 2008, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 18, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 5

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service