Search Sciweavers | Sciweavers

161 search results - page 4 / 33

» fuin 2006

100

click to vote

FUIN
2006

80views more FUIN 2006»

Update and Abstraction in Model Checking of Knowledge and Branching Time

15 years 4 months ago

Download pllab.kaist.ac.kr

Nikolay V. Shilov, Natalya Olegovna Garanina, K.-M...

claim paper

Read More »

click to vote

FUIN
2006

64views more FUIN 2006»

Foundations on Coordination Languages and Software Architectures

15 years 4 months ago

Download www.mimuw.edu.pl

Antonio Brogi, Jean-Marie Jacquet, Joost N. Kok

claim paper

Read More »

click to vote

FUIN
2006

68views more FUIN 2006»

Program Transformation with Scoped Dynamic Rewrite Rules

15 years 4 months ago

Download www.cs.uu.nl

Martin Bravenboer, Arthur van Dam, Karina Olmos, E...

claim paper

Read More »

152

click to vote

FUIN
2007

236views more FUIN 2007»

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

15 years 4 months ago

Download people.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

131

click to vote

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers