Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Suche


42738 Treffer


× Universität Koblenz
× Universität Trier
× Technische Hochschule Bingen
× Theologische Fakultät Trier
× Hochschule Koblenz


  • Jürjens, Jan
  • Secrecy-preserving Refinement
  • José Nuno Oliveira;Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152 (Lecture Notes in Computer Science)




  • Sofronie-Stokkermans, Viorica
  • Representation Theorems and the Semantics of (Semi)Lattice-Based Logics
  • Beata Konikowska;Bogusław Martyniak;Ewa Gąsiorowska-Wirpszo;Andrzej Szałas (Hrsg). Proceedings of the 31st IEEE International Symposium on Muliple-Valued Logic ISMVL 2001; 22-24 May 2001; Warsaw, Poland. Los Alamitos, CA: IEEE Computer Society 2001 S. 125 - 134