Suchen Sitemap Kontakt Impressum

Infos für Schüler | Wirtschaft | Presse | Alumni | Uni-Angehörige

Christian-Albrechts-Universität zu Kiel
 Universitätsbibliothek
powered by <MyCoRe>
Suchergebnisse
Suche verfeinern | Neue SucheAnzahl der Trefferseiten [12  Es wurden 14 Objekte gefunden

Adding plural arguments to Curry programs
TR_1304 (2013-06)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2013
Improving lazy non-deterministic computations by demand analysis
TR_1209 (2012-06)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2012
Programmiersprachen und Rechenkonzepte - 27.Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 3.-5....
TR_1010 (2010-09)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2010
Programmiersprachen und Rechenkonzepte - 26. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" Bad Honnef, 4.-6....
TR_0915 (2009-07)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2009
Programmiersprachen und Rechenkonzepte : 25. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef,...
TR_0811 (2008-10)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2008
Call Pattern Analysis for Functional Logic Programs
TR_0803 (2008-06)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2008
Programmiersprachen und Rechenkonzepte : 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef,...
TR_0707 (2007-08)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2007
Programmiersprachen und Rechenkonzepte
TR_0513 (2005-10)
Digitalisat(e) Adobe PDF ansehen
Erschienen: Technische Berichte des Instituts... / 2005
Functional and (Constraint) Logic Programming (WFLP 2001)
2017 (2001-09)
Erschienen: Technische Berichte des Instituts... / 2001
An Evaluation Semantics for Narrowing-Based Functional Logic Languages
Tr_2000 (2000-02)
Erschienen: Technische Berichte des Instituts... / 2000
Anzahl der Trefferseiten [12