Filters








4 Hits in 2.7 sec

Contents EATCS bulletin number 59, June 1996

1996 Theoretical Computer Science  
Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), Passau, Germany, 27-29 March 1996 (report by R. Focardi, R. Gorrieri).  ...  Workshop on Advanced Intelligent Networks (AIN '96) and the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '96), Passau, Germany, 25529 March  ... 
doi:10.1016/s0304-3975(96)90089-4 fatcat:qjudqhsagfguhggbsgcv7feweq

Contents EATCS bulletin number 57, October 1995

1995 Theoretical Computer Science  
Construction and Analysis of Systems (TACAS '96), Passau, Germany, 27-29 March 1996 Workshop on Computability, Complexity and Logic (WCCL '96), Zinnowitz, Germany, 27-30 March 1996 . . 145  ...  Twenty-first International Symposium on Mathematical Foundations of Computer Science (MFCS '96), Cracow, Poland, 2-6 September 1996 . . . . . . . .  ... 
doi:10.1016/0304-3975(95)90168-x fatcat:7hmlddprzbanhodm7e3gmstyba

Número complet / Número completo

Revista VIVESIANA
2019 VIVESIANA  
Phial. fit. vaso de barro para bever, como bernegal o taça.  ...  (5v) Diálogo 2.  ... 
doi:10.7203/vivesiana.5.14616 fatcat:5gqma6y7t5gptc7bunxp3i4r4e

Formal Methods for Coordinating Multi-Agent Systems (Dagstuhl Seminar 14332) Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) Computational Aspects of Fabrication (Dagstuhl Seminar 14361) Augmenting Human Memory-Capture and Recall in the Era of Lifelogging (Dagstuhl Seminar 14362)

Michael Benedikt, Carsten Lutz, Thomas Ågotnes, Nils Bulling, Daniel Kroening, Thomas Reps, Sanjit Seshia, Aditya Thakur, Patrick Cousot, Daniel Kroening, Carsten Sinz, Marc Alexa (+7 others)
2014 Querying and Reasoning Under Expressive Constraints   unpublished
For 2-player EFGPRs, analogous complexity results follow from the algorithms of Koller, Megiddo, and von Stengel (1996), and von Stengel, van den Elzen, and Talman (2002).  ...  4 3 3 2 4 3 3 2 4 3 3 2 -Formal Methods for Coordinating Multi-Agent Systems 4 3 3 2 4 3 3 2 4 3 3 2 There is a good Stanford encyclopedia article about this called  ...  I will talk about one instance of each: (1) a method to reproduce elastic deformation properties of real world objects, (2) the automated fabrication of articulated characters from skinned meshes, and  ... 
fatcat:xufggsvrynatbg2tlxe5gt7tei