DE eng

Search in the Catalogues and Directories

Hits 1 – 10 of 10

1
A Framework for the Verification of Certifying Computations
In: Journal of automated reasoning. - Dordrecht [u.a.] : Springer 52 (2014) 3, 241-273
OLC Linguistik
Show details
2
NP-hard networking problems : exact and approximate algorithms
Naujoks, Rouven. - 2011
BASE
Show details
3
An Efficient Graph Algorithm for Dominance Constraints
In: ISSN: 0196-6774 ; EISSN: 1090-2678 ; Journal of Algorithms in Cognition, Informatics and Logic ; https://hal.inria.fr/inria-00536539 ; Journal of Algorithms in Cognition, Informatics and Logic, Elsevier, 2003, Special issue: Twelfth annual ACM-SIAM symposium on discrete algorithms, 48 (1), pp.194-219. ⟨10.1016/S0196-6774(03)00050-6⟩ ; http://portal.acm.org/citation.cfm?id=989537 (2003)
BASE
Show details
4
An efficient graph algorithm for dominance constraints
BASE
Show details
5
An Efficient Algorithm for the Configuration Problem of Dominance Graphs
In: Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms ; https://hal.inria.fr/inria-00536803 ; Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, 2001, Washington, DC, United States. pp.815--824 (2001)
BASE
Show details
6
A Polynomial-Time Fragment of Dominance Constraints
In: 38th Annual Meeting of the Association of Computational Linguistics ; https://hal.inria.fr/inria-00536809 ; 38th Annual Meeting of the Association of Computational Linguistics, 2000, Hong Kong, China. pp.368--375 (2000)
BASE
Show details
7
Sortieren und Suchen. - Datenstrukturen und effiziente Algorithmen ; 1 : Sortieren und Suchen. -
Mehlhorn, Kurt. - Stuttgart : Teubner, 1986
IDS Mannheim
Show details
8
The recognition of deterministic CFLs in small time and space
In: Information and control. - New York, NY [u.a.] : Academ. Pr. 56 (1983) 1-2, 34-51
BLLDB
Show details
9
Parsing macro grammars top down
In: Information and control. - New York, NY [u.a.] : Academ. Pr. 40 (1979) 2, 123-143
BLLDB
Show details
10
Datenstrukturen und effiziente Algorithmen
Mehlhorn, Kurt. - Stuttgart : Teubner
IDS Mannheim
Show details

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