Editorial--A Survey of Research Questions for Intelligent Information Systems in Education von Cherniavsky, John C, Soloway, Elliot

Volltext

Feasible Mathematics 2 von Cherniavsky, John C, Clote, Peter, Remmel, Jeffrey B

Volltext

Bounded Queries in Recursion Theory von Cherniavsky, John C, Gasarch, William I, Martin, Georgia A

Volltext

Case Study : Openness and Secrecy in Computer Research : Science, Technology & Human Values von Cherniavsky, John C.

Volltext

Case Study: Openness and Secrecy in Computer Research von Cherniavsky, John C.

Volltext

Simple Programs Realize Exactly Presburger Formulas von Cherniavsky, John C.

Volltext

Complete validated software: validation through testing (panel session) von Cherniavsky, John C.

Volltext

NSF news von Cherniavsky, John C.

Volltext

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language von Cherniavsky, John C., Kamin, Samuel N.

Volltext

On Transforming Control Structures von Keohane, John, Cherniavsky, John C., Henderson, Peter B.

Volltext

Proof Theory for General Unification von Cherniavsky, John C, Constable, Robert, Platek, Richard

Volltext

Symbolic Rewriting Techniques von Cherniavsky, John C, Constable, Robert, Gallier, Jean

Volltext

Validation, Verification, and Testing of Computer Software von Adrion, W. Richards, Branstad, Martha A., Cherniavsky, John C.

Volltext

Logical Methods: In Honor of Anil Nerode's Sixtieth Birthday von Cherniavsky, John C, Constable, Robert, Gallier, Jean, Sweedler, Moss E

Volltext

On Weyuker's axioms for software complexity measures von Cherniavsky, J.C., Smith, C.H.

Volltext

Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989 von Cherniavsky, John C, Constable, Robert, Gallier, Jean, Buss David Scott Bernard Buss Samuel, Buss, S R, Scott, P J

Volltext

Validation Through Testing von Cherniavsky, J.C.

Volltext

A Recursion Theoretic Approach to Program Testing von Cherniavsky, J.C., Smith, C.H.

Volltext

On finding test data sets for loop free programs von Cherniavsky, John C.

Volltext

Review of "Unsolvable classes of quantificational formulas" by Harry R. Lewis. Addison-Wesley 1979. and "The decision problem: solvable classes of quantificational formulas" by Bur... von Cherniavsky, John C.

Volltext