DE eng

Search in the Catalogues and Directories

Hits 1 – 13 of 13

1
Language-based Lifting of Analyses to Software Product Lines
Shahin, Ramy. - : University of Toronto, 2021
BASE
Show details
2
Hearing aid use in the elderly as measured by datalogging and self-report
Solheim, Jorunn; Hickson, Louise. - : Taylor & Francis, 2017
BASE
Show details
3
An Introduction to Ontology-Based Query Answering with Existential Rules
In: 10th Reasoning Web Summer School ; RW: Reasoning Web ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990 ; RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩ ; http://rw2014.di.uoa.gr/ (2014)
BASE
Show details
4
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G. - : Elsevier BV, North-Holland, 2014
BASE
Show details
5
The JStar language philosophy
BASE
Show details
6
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Association for Computing Machinery (ACM), 2013
BASE
Show details
7
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : University of Waikato, Department of Computer Science, 2013
BASE
Show details
8
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : The Association for Computing Machinery, 2013
BASE
Show details
9
Existential Rules: A Graph-Based View
In: Datalog 2.0 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474 ; Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩ ; http://www.dbai.tuwien.ac.at/datalog2.0/ (2012)
BASE
Show details
10
DOI:10.1007/978-3-642-23211-4 A Datalog recognizer for almost-affine λ-CFGs
In: http://hal.inria.fr/docs/00/74/07/01/PDF/parseAffine.pdf (2012)
BASE
Show details
11
Game semantics and parsing context-free lambda-grammars ; Jeux de typage et analyse de lambda-grammaires non-contextuelles
Bourreau, Pierre. - : HAL CCSD, 2012
In: https://tel.archives-ouvertes.fr/tel-00733964 ; Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2012. Français (2012)
BASE
Show details
12
A Datalog recognizer for almost affine lambda-CFGs
In: Mathematics of Language ; https://hal.archives-ouvertes.fr/hal-00740701 ; Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩ (2011)
BASE
Show details
13
Soutei, a Logic-Based Trust-Management System System Description
In: http://okmij.org/ftp/papers/Soutei.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
13
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern