BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Hungary
1 × Italy
2 × France
6 × USA
Collaborated with:
∅ Z.Zombori J.Csorba G.Lukácsy P.Szabó B.Kádár Z.Nagy D.Hanák T.Szeredi T.Benkö P.Krauth Z.Farkas E.Sántáné-Tóth E.L.Lusk S.Mudambi R.A.Overbeek
Talks about:
prolog (8) system (5) parallel (4) logic (4) descript (2) program (2) languag (2) static (2) aurora (2) applic (2)

Person: Péter Szeredi

DBLP DBLP: Szeredi:P=eacute=ter

Facilitated 1 volumes:

ICLP 1990Ed

Contributed to:

ICLP 20122012
ICLP 20112011
ICLP 20082008
ICLP 20062006
PADL 20062006
ICLP 20042004
ICLP 20022002
ILPS 19931993
JICSLP 19921992
ILPS 19911991
NACLP 19891989
ILPC 19821982

Wrote 12 papers:

ICLP-2012-ZomboriCS #constraints #logic programming #static typing #type inference #using
Static Type Inference for the Q language using Constraint Logic Programming (ZZ, JC, PS), pp. 119–129.
ICLP-2011-ZomboriCS #functional #prolog #static typing #type checking
Static Type Checking for the Q Functional Language in Prolog (ZZ, JC, PS), pp. 62–72.
ICLP-2008-LukacsySK #logic #prolog #reasoning
Prolog Based Description Logic Reasoning (GL, PS, BK), pp. 455–469.
ICLP-2006-SzaboS #prolog #standard
Improving the ISO Prolog Standard by Analyzing Compliance Test Results (PS, PS), pp. 257–269.
PADL-2006-NagyLS #logic #prolog #query
Translating Description Logic Queries to Prolog (ZN, GL, PS), pp. 168–182.
ICLP-2004-HanakSS #debugging #library #prolog
FDBG, the CLPFD Debugger Library of SICStus Prolog (DH, TS, PS), pp. 458–459.
ICLP-2002-BenkoKS #integration
A Logic-Based System for Application Integration (TB, PK, PS), pp. 452–466.
ILPS-1993-LuskMOS #biology #parallel #prolog
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology (ELL, SM, RAO, PS), pp. 353–369.
JICSLP-1992-Szeredi #optimisation #problem
Exploiting Or-Parallelism in Optimisation Problems (PS), pp. 703–716.
ISLP-1991-Szeredi #prolog #using
Using Dynamic Predicates in an Or--Parallel Prolog System (PS), pp. 355–371.
NACLP-1989-Szeredi #analysis #performance #prolog
Performance Analysis of the Aurora Or-Parallel Prolog System (PS), pp. 713–732.
ILPC-1982-FarkasSS82 #named #specification
LDM: A Program Specification Support System (ZF, PS, EST), pp. 123–128.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.