U Wolter
Web Sites
Total : 3 View more »
@InProceedings{AgustiCullellEtAl91, author = "J. Agust{\'i}-Cullell and F. Esteva and P. Garcia and...
@InProceedings{AgustiCullellEtAl91, author = "J. Agust{\'i}-Cullell and F. Esteva and P. Garcia and L. Godo", title = "Formalizing Multiple-Valued Logics as Institutions", pages = "269--278", ISBN = "3-540-54346-5", editor = "Bernadette Bouchon-Meunier and Ronald R. Yager and Lotfi A.
U Wolter - From Story - Variety Profiles
www.variety.com
U Wolter U Wolter Main Credits Awards Biography Credits* Project Release Date/Air Date Credit From Story I Aim at the Stars Biography* Born : Data UnAvailable
http://www.variety.com/profiles/people/main/1096121/U+Wolter.html?dataSet=1
A major challenge in developing such a unified model theory is in the requirement that it must be...
A major challenge in developing such a unified model theory is in the requirement that it must be able to handle major structural differences between the targeted models as well as the significant differences in the logic bases of their associated constraint languages.
