BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
2 × Germany
3 × USA
Collaborated with:
M.Sharir R.Paige D.Cantone V.Cutello A.Ferro E.G.Omodeo E.Schonberg
Talks about:
structur (2) problem (2) automat (2) level (2) decis (2) high (2) data (2) set (2) strength (1) procedur (1)

Person: Jacob T. Schwartz

DBLP DBLP: Schwartz:Jacob_T=

Contributed to:

CSL 19901990
ICALP 19871987
CADE 19801980
POPL 19791979
POPL 19771977
POPL 19751975

Wrote 6 papers:

CSL-1990-CantoneCS #problem #set
Decision Problems for Tarski and Presburger Arithmetics Extended With Sets (DC, VC, JTS), pp. 95–109.
ICALP-1987-SchwartzS #on the #problem
On the Bivariate Function Minimization Problem And Its Applications to Motion Planning (JTS, MS), pp. 357–363.
CADE-1980-FerroOS #set
Decision Procedures for Some Fragments of Set Theory (AF, EGO, JTS), pp. 88–96.
POPL-1979-SchonbergSS #automation #data type
Automatic Data Structure Selection in SETL (ES, JTS, MS), pp. 197–210.
POPL-1977-PaigeS #reduction
Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.
POPL-1975-Schwartz #automation #data type
Automatic Data Structure Choice in a Language of Very High Level (JTS), pp. 36–40.

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.