Sciweavers

413 search results - page 5 / 83
» On Product Logic with Truth-constants
Sort
View
49
Voted
FUIN
2008
80views more  FUIN 2008»
14 years 9 months ago
Products of Tree Automata with an Application to Temporal Logic
Zoltán Ésik, Szabolcs Iván
55
Voted
LOGCOM
2006
54views more  LOGCOM 2006»
14 years 9 months ago
On Product Logic with Truth-constants
Petr Savický, Roberto Cignoli, Francesc Est...
FSS
2007
54views more  FSS 2007»
14 years 9 months ago
Product logic and probabilistic Ulam games
Franco Montagna, Claudio Marini, Giulia Simi
DLOG
2010
14 years 7 months ago
Logic for Modeling Product Structure
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
Henson Graves