Scott Weinstein

Available identifiers

zbMath Open weinstein.scottMaRDI QIDQ703862

List of research outcomes

Publication	Date of Publication	Type
First order logic, fixed point logic and linear order	2024-06-21	Paper
Preservation theorems in finite model theory	2023-12-12	Paper
Traversal-invariant characterizations of logarithmic space	2020-06-12	Paper
Infinitary Methods in Finite Model Theory	2020-02-03	Paper
Modal logic for preference based on reasons	2018-10-18	Paper
Interaction between path and type constraints	2017-06-13	Paper
Algorithmic analysis of array-accessing programs	2015-09-17	Paper
Preference based on reasons	2012-04-21	Paper
Formal learning theory in context	2012-03-02	Paper
Recognizing strong random reals	2010-08-13	Paper
Algorithmic Analysis of Array-Accessing Programs	2009-11-12	Paper
Finite model theory and its applications.	2005-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4817187	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4473166	2004-08-04	Paper
Path constraints in semistructured databases	2001-06-21	Paper
Elementary Properties of the Finite Ranks	1998-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4359312	1997-10-08	Paper
On the study of first language acquisition	1996-08-21	Paper
Infinitary logic and inductive definability over finite structures	1995-08-02	Paper
On the danger of half-truths	1995-02-22	Paper
Relevant consequence and empirical inquiry	1993-08-17	Paper
A universal method of scientific inquiry	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4013528	1992-09-27	Paper
A universal inductive inference machine	1992-06-27	Paper
Mechanical learners pay a price for Bayesianism	1992-06-25	Paper
New directions in automated scientific discovery	1991-01-01	Paper
Minimal consequence in sentential logic	1990-01-01	Paper
Paradigms of truth detection	1989-01-01	Paper
Synthesizing inductive expertise	1988-01-01	Paper
Identification in the limit of first order structures	1986-01-01	Paper
Aggregating inductive expertise	1986-01-01	Paper
The intended interpretation of intuitionistic logic	1983-01-01	Paper
Note on a central lemma for learning theory	1983-01-01	Paper
Learning strategies	1982-01-01	Paper
Criteria of language learning	1982-01-01	Paper
Some applications of Kripke models to formal systems of intuitionistic analysis	1979-01-01	Paper

Research outcomes over time

This page was built for person: Scott Weinstein