„Logic Programming“

Suchergebnisse

2.836 Treffer

• Debugging Smart Contract’s Business Logic Using Symbolic Model Checking
  Shishkin, E.
• Programming Infinite Machines
  Kutsenko, Anton A.
• On deterministic sensing $$5'\rightarrow 3'$$ 5 ′ → 3 ′ Watson–Crick finite automata: a full hierarchy in 2detLIN
  Nagy, Benedek ; Parchami, Shaghayegh
• Aggregation-based minimization of finite state automata
  Björklund, Johanna ; Cleophas, Loek
• Strategic logics for collaborative embedded systems – Specification and verification of collaborative embedded systems using strategic logics
  Kurpiewski, Damian ; Marmsoler, Diego
• Linear-bounded composition of tree-walking tree transducers: linear size increase and complexity
  Engelfriet, Joost ; Inaba, Kazuhiro ; Maneth, Sebastian
• The model checking fingerprints of CTL operators
  Krebs, Andreas ; Meier, Arne ; Mundhenk, Martin
• A symbolic algorithm for lazy synthesis of eager strategies
  Jacobs, Swen ; Sakr, Mouhammad
• Transducer degrees: atoms, infima and suprema
  Endrullis, Jörg ; Klop, Jan Willem ; Bakhshi, Rena
• A formal methods approach to predicting new features of the eukaryotic vesicle traffic system
  Bhattacharyya, Arnab ; Gupta, Ashutosh ; Kuppusamy, Lakshmanan ; Mani, Somya ; Shukla, Ankit ; Srivas, Mandayam ; Thattai, Mukund
• Uncertain interval programming model for multi-objective multi-item fixed charge solid transportation problem with budget constraint and safety measure
  Sifaoui, Thiziri ; Aïder, Méziane
• Fuzzy linear programming problems: models and solutions
  Ghanbari, Reza ; Ghorbani-Moghadam, Khatere ; Mahdavi-Amiri, Nezam ; Baets, Bernard De
• Subsequence versus substring constraints in sequence pattern languages
  Engels, Steven ; Tan, Tony ; Bussche, Jan Van den
• Handbook of C for Beginners
  Chouhan, Ravindra Kumar ; Nagwani, Naresh Kumar ; Atulkar, Mithilesh 2017 LAP LAMBERT Academic Publishing
• Spanning the spectrum from safety to liveness
  Faran, Rachel ; Kupferman, Orna
• TSO-to-TSO linearizability is undecidable
  Wang, Chao ; Lv, Yi ; Wu, Peng
• Soundness Analytics of Composed Logical Workflow Nets
  Liu, Wei ; Wang, Lu ; Feng, Xin ; Qi, Man ; Yan, Chun ; Li, Maozhen
• 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
  Bonchi, Filippo ; König, Barbara 2017 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Problems of Synthesis of Σ-Automata Specified in Languages LP and LF of First Order Logic
  Chebotarev, A. N.
• Enabling Realistic Logical Device Interface and Driver for NVM Express Enabled Full System Simulations
  Gouk, Donghyun ; Zhang, Jie ; Jung, Myoungsoo