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: Schwartz:Jacob_T=
Contributed to:
1990
1987
1980
197919771975Wrote 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.