Sciweavers

413 search results - page 5 / 83
» On Product Logic with Truth-constants
Sort
View
70
Voted
FUIN
2008
80views more  FUIN 2008»
15 years 1 months ago
Products of Tree Automata with an Application to Temporal Logic
Zoltán Ésik, Szabolcs Iván
76
Voted
LOGCOM
2006
54views more  LOGCOM 2006»
15 years 1 months ago
On Product Logic with Truth-constants
Petr Savický, Roberto Cignoli, Francesc Est...
FSS
2007
54views more  FSS 2007»
15 years 1 months ago
Product logic and probabilistic Ulam games
Franco Montagna, Claudio Marini, Giulia Simi
DLOG
2010
14 years 11 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