Works matching IS 00103640 AND DT 1981 AND VI 34 AND IP 2
Results: 6
Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. 177, doi. 10.1002/cpa.3160340203
- By:
- Publication type:
- Article
Path following near bifurcation.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. 149, doi. 10.1002/cpa.3160340202
- By:
- Publication type:
- Article
Unobserved observables and unobserved causality.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. 273, doi. 10.1002/cpa.3160340206
- By:
- Publication type:
- Article
Masthead.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. fmi, doi. 10.1002/cpa.3160340201
- Publication type:
- Article
On stationary problems for equations of korteweg-de vries type.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. 259, doi. 10.1002/cpa.3160340205
- By:
- Publication type:
- Article
The sine-gordon and sinh-gordon equations on the circle.
- Published in:
- Communications on Pure & Applied Mathematics, 1981, v. 34, n. 2, p. 197, doi. 10.1002/cpa.3160340204
- By:
- Publication type:
- Article