Results 231 to 240 of about 1,992,550 (266)
Some of the next articles are maybe not open access.
International Journal of Theoretical Physics, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Román, Leopoldo, Zuazua, Rita E.
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Román, Leopoldo, Zuazua, Rita E.
openaire +1 more source
2008
We argue that the usual trace-based notions of implication and equivalence for linear temporal logics are too strong and should be complemented by the weaker notions of open implication and open equivalence. Although open implication is harder to compute, it can be used to advantage both in model checking and in synthesis.
Greimel K. +3 more
openaire +1 more source
We argue that the usual trace-based notions of implication and equivalence for linear temporal logics are too strong and should be complemented by the weaker notions of open implication and open equivalence. Although open implication is harder to compute, it can be used to advantage both in model checking and in synthesis.
Greimel K. +3 more
openaire +1 more source
Journal of Philosophical Logic, 1994
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
2007
Abstract As stated in the original preface, I believe that there are linguistic laws (universals) that apply to all human languages. A major goal of my research is to look for such universals. In this regard, I share the theoretical position of generative linguistics.
openaire +1 more source
Abstract As stated in the original preface, I believe that there are linguistic laws (universals) that apply to all human languages. A major goal of my research is to look for such universals. In this regard, I share the theoretical position of generative linguistics.
openaire +1 more source
Comment: Implications of Implication Analysis
Sociological Methodology, 2008* We do not test theories-we evaluate them. Rarely if ever does a single "crucial test" establish or falsify a theory. Instead of futile searches for crucial tests, social scientists should evaluate theories on the basis of the weight of the evidence from a wide range of relevant evidence.
openaire +1 more source