Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Retricted access

Research article

First published 1999-2

A Linear Logic View of Object Petri Nets

Berndt Farwer

Fundamenta Informaticae

Free access

Research article

First published 2012-8

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2017

Semantics for Specialising Attack Trees based on Linear Logic

Ross Horne, Sjouke Mauw, Alwen Tiu

Fundamenta Informaticae

Retricted access

Research article

First published 2007-11

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous

Vladimir V. Rybakov

Fundamenta Informaticae

Retricted access

Research article

First published 2013-8

Reasoning about Resources and Information: A Linear Logic Approach

Norihiro Kamide, Ken Kaneiwa

Fundamenta Informaticae

Retricted access

Research article

First published 2008-5

Symbolic negotiation: Partial deduction for linear logic with coalition formation

Peep Küngas, Mihhail Matskin

Web Intelligence

Retricted access

Research article

First published 2007-11

Fuzzy Logic Control of a Non-linear Structural System against Earthquake Induced Vibration

Rahmi Guclu, Hakan Yazici

Journal of Vibration and Control

Retricted access

Research article

First published 2016

Temporal normal form for Linear Temporal Logic formulae 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 1995-2

LINEAR LOGIC,COMONADS AND OPTIMAL REDUCTIONS

Andrea Asperti

Fundamenta Informaticae

Search results