John Corcoran - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2022

Adaptive Monitoring for Analytics Placement in Tactical NetworksJohn Corcoran, Eric Graves 0001, Bryan Dawson, Matthew Dwyer 0004, Paul Yu, Kevin Chan. milcom 2022: 926-931 [doi]

2018

Aristotle's Prototype Rule-Based Underlying LogicJohn Corcoran. lu, 12(1-2):9-35, 2018. [doi]

2015

Existential-Import MathematicsJohn Corcoran, Hassan Masoud. bsl, 21(1):1-14, 2015. [doi]

2014

Obituary Robert McNaughton 1924 - 2014John Corcoran, Paliath Narendran, Wolfgang Thomas. eatcs, 114, 2014. [doi]

2006

Schemata: The Concept of Schema in the History of LogicJohn Corcoran. bsl, 12(2):219-240, 2006. [doi]

1980

Boole's criteria for validity and invalidityJohn Corcoran, Susan Wood. ndjfl, 21(4):609-638, 1980. [doi]

1979

Identity logicsJohn Corcoran, Stanley Ziewacz. ndjfl, 20(4):777-784, 1979. [doi]

1974

String TheoryJohn Corcoran, William Frank, Michael Maloney. JSYML, 39(4):625-637, 1974.

Logical consequence in modal logic. II. Some semantic systems for S4John Corcoran, George Weaver. ndjfl, 15(3):370-378, 1974. [doi]

1973

TOPAS: A system of programs to size and evaluate mini-computers for real-time applicationsJohn Corcoran, George J. Hafferon, Thomas H. Nash. anss 1973: 46-51 [doi]

1972

Completeness of an Ancient LogicJohn Corcoran. JSYML, 37(4):696-702, 1972.

Strange argumentsJohn Corcoran. ndjfl, 13(2):206-210, 1972. [doi]

1969

Logical consequence in modal logic: Natural deduction in S5John Corcoran, George Weaver. ndjfl, 10(4):370-384, 1969. [doi]

Sign in or sign up to see more results.

runs on WebDSL