IOC - PDFSEARCH.IO - Document Search Engine

IOC
Results: 2147

#	Item
371	Categorical Semantics for Linear Logic Wolfgang Jeltsch Add to Reading List Source URL: cs.ioc.ee - Date: 2013-06-19 18:27:52
372	Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic Add to Reading List Source URL: cs.ioc.ee - Date: 2011-02-10 10:21:33
373	Reactive Systems: Modelling, Specification and Verification Luca Aceto1 2 Anna Ingolfsdottir1 2 Add to Reading List Source URL: www.cs.ioc.ee - Date: 2007-02-23 17:20:34
374	First-Class Signals for FRP Wolfgang Jeltsch Introduction FRP concepts Add to Reading List Source URL: cs.ioc.ee - Date: 2011-10-13 10:48:29
375	Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:50:38
376	Stark typisierte und effiziente Funktionale Reaktive Programmierung Wolfgang Jeltsch Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:51:34
377	LunchGT-VMT Niaz Hussein and Reiko Heckel. View-based Modelling and StateSpace Generation for Graph Add to Reading List Source URL: cs.ioc.ee - Date: 2012-02-18 17:15:17
378	An Abstract Categorical Semantics for Functional Reactive Programming with Processes Wolfgang Jeltsch TTÜ Küberneetika Instituut Akadeemia tee 21, 12618 Tallinn, Estonia http://wolfgang.jeltsch.info/ Add to Reading List Source URL: www.ioc.ee - Date: 2014-01-07 13:07:33
379	Categorical Models for Two Intuitionistic Modal Logics Wolfgang Add to Reading List Source URL: cs.ioc.ee - Date: 2012-05-12 14:36:21
380	Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia Add to Reading List Source URL: www.ioc.ee - Date: 2015-11-12 18:20:43

UPDATE