„Logic Programming“

Suchergebnisse

2.836 Treffer

• Space sweep solves intersection of convex polyhedra
  Hertel, Stefan ; Mäntylä, Martti ; Mehlhorn, Kurt ; Nievergelt, Jurg
• Concurrent bisimulations in Petri nets
  Best, Eike ; Devillers, Raymond ; Kiehn, Astrid ; Pomello, Lucia
• From regular expression matching to parsing
  Bille, Philip ; Gørtz, Inge Li
• Fast deterministic parsers for transition networks
  Borsotti, Angelo ; Breveglieri, Luca ; Crespi Reghizzi, Stefano ; Morzenti, Angelo
• A genetic programming-based approach for classifying pancreatic adenocarcinoma: the SICED experience
  D’Angelo, Gianni ; Scoppettuolo, Maria Nunzia ; Cammarota, Anna Lisa ; Rosati, Alessandra ; Palmieri, Francesco
• Interface Automata for Shared Memory
  Schinko, Ayleen ; Vogler, Walter ; Gareis, Johannes ; Nguyen, N. Tri ; Lüttgen, Gerald
• Regenerative simulation of response times in networks of queues with multiple job types
  Iglehart, Donald L. ; Shedler, Gerald S.
• Synthesis from hyperproperties
  Finkbeiner, Bernd ; Hahn, Christopher ; Lukert, Philip ; Stenger, Marvin ; Tentrup, Leander
• Proportional lumpability and proportional bisimilarity
  Marin, Andrea ; Piazza, Carla ; Rossi, Sabina
• Simulation output analysis for local area computer networks
  Iglehart, Donald L. ; Shedler, Gerald S.
• Extending a brainiac prover to lambda-free higher-order logic
  Vukmirović, Petar ; Blanchette, Jasmin ; Cruanes, Simon ; Schulz, Stephan
• Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems
  Aman, Bogdan ; Ciobanu, Gabriel
• Category Theory Using Haskell – An Introduction with Moggi and Yoneda
  Yukita, Shuichi 2025 Springer Nature Switzerland, Imprint: Birkhäuser
• Petri Net Synthesis
  Badouel, Eric ; Bernardinello, Luca 2015 Springer Berlin
• Decision Procedures – An Algorithmic Point of View
  Kroening, Daniel ; Strichman, Ofer 2016 Springer Berlin
• Knowledge Discovery Enhanced with Semantic and Social Information
  Berendt, Bettina 2009 Springer Berlin
• Algebraic and Logic Programming – Proceedings of an International Workshop held in Gaussig (GDR), November 14–18, 1988
  Grabowski, Jan ; Lescanne, Pierre ; Wechler, Wolfgang 1989 De Gruyter
• Report of the logic programming language PROTOS-L
  Beierle, Christoph ; Böttcher, Stefan ; Meyer, Gregor 1994 ILL
• Types as constraints in logic programming and type constraint processing
  Goltz, Hans-Joachim 1994 GMD, WTI, AIW
• CAN-BUILD - solving the Can-Build problem using constraint logic programming
  Nitsche, Michael 1994 GMD