DanskDTU.dkIndexContactPhone bookInternal PagesDTU Alumni
English > Research > Language-Based Technology > Group Members
Research areas
Algorithms and Logic
Cognitive Systems
Data Analysis
Dynamical Systems
Embedded Systems Engineering
Image Analysis & Computer Graphics
Language-Based Technology
Research
Software
Teaching
Group Members
Publications
Mathematical Statistics
Scientific Computing
Software Engineering
Research centers
Publications
Title: A Succinct Solver for ALFP
Type: Journal articleJournal article
Participant(s):
Author:  Nielson, Flemming (Cwisno: 9539)
Technical University of Denmark
Email:

Author:  Nielson, Hanne Riis (Cwisno: 9540)
Technical University of Denmark
Email:

Forfatter:  Seidl, H.
Technical University of Denmark
Published: in journal: Nordic Journal of Computing (ISSN: 1236-6064), vol: 9, pages: 335-372, 2002
See the publication in DTU Orbit See the publication in DTU Orbit

Top
MatematiktorvetDTU - Building 303BDK-2800 Kgs. LyngbyTel +45 4525 3031EAN 5798000428515
Cookies