„Logic Programming“

Suchergebnisse

2.836 Treffer

• Type-based information flow analysis for the π-calculus
  Kobayashi, Naoki
• MOMI: a calculus for mobile mixins
  Bettini, Lorenzo ; Venneri, Betti ; Bono, Viviana
• Subtyping for session types in the pi calculus
  Gay, Simon ; Hole, Malcolm
• Exponentially decreasing number of operations in balanced trees
  Jacobsen, Lars ; Larsen, Kim Skak
• Introduction to Artificial Intelligence
  Ertel, Wolfgang ; Black, Nathanael T. 2011 Springer London
• Free Objects in Constraint-logic Object-oriented Programming
  Dageförde, Jan Christoph ; Kuchen, Herbert 2024 Universitäts- und Landesbibliothek Münster
• Lazy reimplication in chronological backtracking
  Coutelier, Robin ; Fleury, Mathias ; Kovács, Laura 2024 Universität
• An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
  Winkelmann, Hendrik 2024 Universitäts- und Landesbibliothek Münster
• The longest letter-duplicated subsequence and related problems
  Lai, Wenfeng ; Liyanage, Adiesha ; Zhu, Binhai ; Zou, Peng
• Construction of university faculty timetables using logic programming techniques
  Fahrion, Roland ; Dollansky, Gerhard 1989 Univ., Wirtschaftswiss. Fak.
• Word-representable graphs from a word’s perspective
  Fleischmann, Pamela ; Haschke, Lukas ; Löck, Tim ; Nowotka, Dirk
• About classical logic and imperative programming
  Krivine, Jean-Louis
• Coding Examples from Simple to Complex – Applications in Python™
  Gagniuc, Paul A. 2024 Springer Nature Switzerland, Imprint: Springer
• A closer look at Hamiltonicity and domination through the lens of diameter and convexity
  Mahendra Kumar, R. ; Sadagopan, N.
• Cycle encoding-based parameter synthesis for timed automata safety
  Sucu, Burkay ; Aydin Gol, Ebru
• An efficient adaptive multilevel Renyi entropy thresholding method based on the energy curve with dynamic programming
  Lei, Bo ; He, Luhang ; Yang, Zhen
• A constraint logic programming approach to travel demand modelling
  Heinitz, Florian 2000 Nomos-Verl.-Ges.
• Programming, specification and interactive theorem proving – towards a unified language based on equational logic, rewriting logic and type theory
  Stehr, Mark-Oliver
• Model checking strategy-controlled systems in rewriting logic
  Rubio, Rubén ; Martí-Oliet, Narciso ; Pita, Isabel ; Verdejo, Alberto
• Toward formal development of programs from algebraic specifications: Implementations revisited
  Sannella, Donald ; Tarlecki, Andrzej