ICurry

ICurry

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:DECLARE (2019 : Cottbus) Declarative programming and knowledge management
1. Verfasser: Antoy, Sergio (VerfasserIn)
Weitere Verfasser: Hanus, Michael (VerfasserIn), Jost, Andy (VerfasserIn), Libby, Steven (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
GPU-Based Parallelism for ASP-Solving 2020 Dovier, Agostino
Adding Data to Curry 2020 Hanus, Michael
A Process Calculus for Formally Verifying Blockchain Consensus Protocols 2020 Jeltsch, Wolfgang
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming 2020 Wolf, Armin
Allen's Interval Algebra Makes the Difference 2020 Janhunen, Tomi
Exploring Properties of Icosoku by Constraint Satisfaction Approach 2020 Liu, Ke
The Regularization of Small Sub-Constraint Satisfaction Problems 2020 Liu,, Sven Lôffler, Ke
Performance Analysis of Zippers 2020 Sefl, Vit
ICurry 2020 Antoy, Sergio
From Textual Information Sources to Linked Data in the Agatha Project 2020 Quaresma, Paulo
Declarative Programming for Microcontrollers - Datalog on Arduino 2020 Wenzel, Mario
KBSET — Knowledge-Based Support for Scholarly Editing and Text Processing with Declarative IX Markup and a Core Written in SWI-Prolog 2020 Kittelmann, Jana
Free Theorems Simply, via Dinaturality 2020 Voigtländer, Janis
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation 2020 Widemann, Baltasar Trancon y
Finding Maximal Non-redundant Association Rules in Tennis Data 2020 Weidner, Daniel
Towards Constraint Logic Programming over Strings for Test Data Generation 2020 Dunkelau, Jannik
Facets of the PIE Environment for Proving, Interpolating and Eliminating on the Basis of First-Order Logic 2020 Wernhard, Christoph
Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming. Jan C. Dagefôrde and Finn Teegen 2020 Kittelmann, Jana
Alle Artikel auflisten