A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Contents EATCS bulletin number 59, June 1996
1996
Theoretical Computer Science
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2019
VIVESIANA
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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)
2014
Querying and Reasoning Under Expressive Constraints
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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