Matt Kaufmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Filter logics: Filters on ω1

Journal:

Annals of Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 2.94 MB

english, 1981

2

A correction to “stationary logic”

Jon Barwise, Matt Kaufmann, Michael Makkai

Journal:

Annals of Mathematical Logic

Year:

1981

Language:

english

File:

PDF, 86 KB

english, 1981

3

Stationary logic

Jon Barwise, Matt Kaufmann, Michael Makkai

Journal:

Annals of Mathematical Logic

Year:

1978

Language:

english

File:

PDF, 3.16 MB

english, 1978

4

Saturation and simple extensions of models of peano arithmetic

Matt Kaufmann, James H. Schmerl

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 2.04 MB

english, 1984

5

A nonconservativity result on global choice

Matt Kaufmann, Saharon Shelah

Journal:

Annals of Pure and Applied Logic

Year:

1984

Language:

english

File:

PDF, 334 KB

english, 1984

6

Interaction with the Boyer-Moore theorem prover: A tutorial study using the arithmetic-geometric mean theorem

Matt Kaufmann, Paolo Pecchiari

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 1.90 MB

english, 1996

7

A New Omitting Types Theorem for L(Q)

Journal:

Journal of Symbolic Logic

Year:

1979

Language:

english

File:

PDF, 367 KB

english, 1979

8

Remarks on weak notions of saturation in models of Peano arithmetic

Kaufmann, Matt, Schmerl, James H.

Journal:

Journal of Symbolic Logic

Year:

1987

Language:

english

File:

PDF, 1.33 MB

english, 1987

9

Blunt and topless end extensions of models of set theory

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.48 MB

english, 1983

10

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - An embedding of the ACL2 logic in HOL

Gordon, Michael J. C., Hunt, Warren A., Kaufmann, Matt, Reynolds, James

Year:

2006

Language:

english

File:

PDF, 256 KB

english, 2006

11

Industrial hardware and software verification with ACL2

Hunt, Warren A., Kaufmann, Matt, Moore, J Strother, Slobodova, Anna

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 358 KB

english, 2017

12

Iterated ultrapowers for the masses

Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Journal:

Archive for Mathematical Logic

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

13

DEFINABLE ULTRAPOWERS AND ULTRAFILTERS OVER ADMISSIBLE ORDINALS

Matt Kaufmann, Evangelos Kranakis

Journal:

Mathematical Logic Quarterly

Year:

1984

Language:

english

File:

PDF, 1.29 MB

english, 1984

14

On random models of finite power and monadic logic

Matt Kaufmann, Saharon Shelah

Journal:

Discrete Mathematics

Year:

1985

Language:

english

File:

PDF, 619 KB

english, 1985

15

Integrating external deduction tools with ACL2

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber

Journal:

Journal of Applied Logic

Year:

2009

Language:

english

File:

PDF, 266 KB

english, 2009

16

An extension of the Boyer-Moore Theorem Prover to support first-order quantification

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 868 KB

english, 1992

17

Generalization in the presence of free variables: A mechanically-checked correctness proof for one algorithm

Journal:

Journal of Automated Reasoning

Year:

1991

Language:

english

File:

PDF, 2.25 MB

english, 1991

18

Verification of Year 2000 conversion rules using the ACL2 theorem prover

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2000

Language:

english

File:

PDF, 146 KB

english, 2000

19

Rewriting with Equivalence Relations in ACL2

Bishop Brock, Matt Kaufmann, J Strother Moore

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 290 KB

english, 2008

20

The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4

Michael J. C. Gordon, Matt Kaufmann, Sandip Ray

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 918 KB

english, 2011

21

Integrins of normal human epidermis: differential expression, synthesis and molecular structure

C.EBERHARD KLEIN, T. STEINMAYER, J.M. MATTES, R. KAUFMANN, L. WEBER

Journal:

British Journal of Dermatology

Year:

1990

Language:

english

File:

PDF, 2.28 MB

english, 1990

22

Nonstandard Analysis in ACL2

Ruben A. Gamboa, Matt Kaufmann

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 168 KB

english, 2001

23

Is home renovation or repair a risk factor for exposure to lead among children residing in New York City?

Dori B. Reissman, Thomas D. Matte, Karen L. Gurnitz, Rachel B. Kaufmann, Jessica Leighton

Journal:

Journal of Urban Health

Year:

2002

Language:

english

File:

PDF, 79 KB

english, 2002

24

Deaths related to lead poisoning in the United States, 1979–1998

Rachel B Kaufmann, Catherine J Staes, Thomas D Matte

Journal:

Environmental Research

Year:

2003

Language:

english

File:

PDF, 164 KB

english, 2003

25

Dual-Source CT Coronary Angiography: Image Quality, Mean Heart Rate, and Heart Rate Variability

Matt, David, Scheffel, Hans, Leschka, Sebastian, Flohr, Thomas G., Marincek, Borut, Kaufmann, Philipp A., Alkadhi, Hatem

Journal:

American Journal of Roentgenology

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

26

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - An Integration of HOL and ACL2

Gordon, Michael, Reynolds, James, Hunt, Warren, Kaufmann, Matt

Year:

2006

Language:

english

File:

PDF, 172 KB

english, 2006

27

[IEEE 2012 IEEE 62nd Electronic Components and Technology Conference (ECTC) - San Diego, CA, USA (2012.05.29-2012.06.1)] 2012 IEEE 62nd Electronic Components and Technology Conference - Mechanically compliant lead-free solder metallurgy: The key element in enabling extreme low-k large-die flip chip devices

Pang, Mengzhi, Kaufmann, Matt, Sze, Henry, Sharifi, Reza, Tan, Keith, Neo, Chong Wei, Ramakrishna, Ram, Karikalan, Sam, Khan, Reza

Year:

2012

Language:

english

File:

PDF, 1.24 MB

english, 2012

28

A New Method to Quantify Carbonate Rock Weathering

Dubois, Caroline, Deceuster, John, Kaufmann, Olivier, Rowberry, Matt D.

Journal:

Mathematical Geosciences

Year:

2015

Language:

english

File:

PDF, 6.88 MB

english, 2015

29

Elevated Blood Lead Levels and Blood Lead Screening Among US Children Aged One to Five Years: 1988-1994

Kaufmann, R. B., Clouse, T. L., Olson, D. R., Matte, T. D.

Journal:

Year:

2000

Language:

english

File:

PDF, 338 KB

english, 2000

30

The strength of nonstandard methods in arithmetic

Henson, C. Ward, Kaufmann, Matt, Keisler, H. Jerome

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 1.21 MB

english, 1984

31

Set theory with a filter quantifier

Journal:

Journal of Symbolic Logic

Year:

1983

Language:

english

File:

PDF, 1.35 MB

english, 1983

32

Filter Logics on ω

Journal:

Journal of Symbolic Logic

Year:

1984

Language:

english

File:

PDF, 1.09 MB

english, 1984

33

Meeting of the Association for Symbolic Logic

John, Baldwin, Kaufmann, Matt, Knight, Julia F.

Journal:

Journal of Symbolic Logic

Year:

1985

Language:

english

File:

PDF, 131 KB

english, 1985

34

Identifying Climatic Controls on Ring Width: The Timing of Correlations between Tree Rings and NDVI

Kaufmann, R. K., D’Arrigo, R. D., Paletta, L. F., Tian, H. Q., Jolly, W. Matt, Myneni, R. B.

Journal:

Earth Interactions

Year:

2008

Language:

english

File:

PDF, 299 KB

english, 2008

35

[IEEE 2014 Formal Methods in Computer-Aided Design (FMCAD) - Lausanne, Switzerland (2014.10.21-2014.10.24)] 2014 Formal Methods in Computer-Aided Design (FMCAD) - Simulation and formal verification of x86 machine-code programs that make system calls

Goel, Shilpi, Hunt, Warren A., Kaufmann, Matt, Ghosh, Soumava

Year:

2014

Language:

english

File:

PDF, 550 KB

english, 2014

36

[ACM Press the sixth international workshop - Seattle, Washington (2006.08.15-2006.08.16)] Proceedings of the sixth international workshop on the ACL2 theorem prover and its applications - ACL2 '06 - Double rewriting for equivalential reasoning in ACL2

Kaufmann, Matt, Moore, J Strother

Year:

2006

Language:

english

File:

PDF, 208 KB

english, 2006

37

A prototype theorem-prover for a higher-order functional language

Boyer, Bob, Kaufmann, Matt

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1985

File:

PDF, 348 KB

1985

38

[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - Formal verification of FIRE

Jang, Jae-Young, Qadeer, Shaz, Kaufmann, Matt, Pixley, Carl

Year:

1997

Language:

english

File:

PDF, 91 KB

english, 1997

39

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Formal verification of LabVIEW programs using the ACL2 Theorem Prover

Kaufmann, Matt, Kornerup, Jacob, Reitblatt, Mark

Year:

2009

Language:

english

File:

PDF, 228 KB

english, 2009

40

[ACM Press the Eighth International Workshop - Boston, Massachusetts (2009.05.11-2009.05.12)] Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications - ACL2 '09 - Abbreviated output for input in ACL2

Year:

2009

Language:

english

File:

PDF, 177 KB

english, 2009

41

A rather classless model

Journal:

Proceedings of the American Mathematical Society

Year:

1977

Language:

english

File:

PDF, 359 KB

english, 1977

42

A Rather Classless Model

Journal:

Proceedings of the American Mathematical Society

Year:

1977

Language:

english

File:

PDF, 158 KB

english, 1977

43

Efficient execution in an automated reasoning environment

GREVE, DAVID A., KAUFMANN, MATT, MANOLIOS, PANAGIOTIS, MOORE, J STROTHER, RAY, SANDIP, RUIZ-REINA, JOSÉ LUIS, SUMNERS, ROB, VROON, DARON, WILDING, MATTHEW

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 193 KB

english, 2008

44

SPIE Proceedings [SPIE 29th Annual Technical Symposium - San Diego (Tuesday 20 August 1985)] Airborne Reconnaissance IX - Photogrammetric Tools For Panoramic Sector Scan Imagery In The VIDARS Analysis Station

Leberl, Franz W., Kaufmann, Viktor, Gustafson, Glen C., Stevens, Matt, Kienegger, Erwin, Henkel, Paul A., LaGesse, Francis R.

Year:

1985

Language:

english

File:

PDF, 2.61 MB

english, 1985

45

Secreted Frizzled-related Protein 2 (sFRP2) Redirects Non-canonical Wnt Signaling from Fz7 to Ror2 during Vertebrate Gastrulation

Brinkmann, Eva-Maria, Mattes, Benjamin, Kumar, Rahul, Hagemann, Anja I. H., Gradl, Dietmar, Scholpp, Steffen, Steinbeisser, Herbert, Kaufmann, Lilian T., Özbek, Suat

Journal:

Journal of Biological Chemistry

Year:

2016

Language:

english

File:

PDF, 6.56 MB

english, 2016

46

SPECTRAL AND IMAGING OBSERVATIONS OF A WHITE-LIGHT SOLAR FLARE IN THE MID-INFRARED

Penn, Matt, Krucker, Säm, Hudson, Hugh, Jhabvala, Murzy, Jennings, Don, Lunsford, Allen, Kaufmann, Pierre

Journal:

The Astrophysical Journal

Year:

2016

Language:

english

File:

PDF, 814 KB

english, 2016

47

A note on the Hanf number of second-order logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1985

Language:

english

File:

PDF, 385 KB

english, 1985

48

Some remarks on equivalence in infinitary and stationary logic.

Journal:

Notre Dame Journal of Formal Logic

Year:

1984

Language:

english

File:

PDF, 753 KB

english, 1984

49

Largest initial segments pointwise fixed by automorphisms of models of set theory

Enayat, Ali, Kaufmann, Matt, McKenzie, Zachiri

Journal:

Archive for Mathematical Logic

Year:

2018

Language:

english

File:

PDF, 707 KB

english, 2018

50

The Hanf number of stationary logic.

Shelah, Saharon, Kaufmann, Matt

Journal:

Notre Dame Journal of Formal Logic

Year:

1986

Language:

english

File:

PDF, 1.29 MB

english, 1986