Gordon J. van der Brug

According to our database, Gordon J. van der Brug authored at least 3 papers between 1974 and 1975.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1975

State-Space, Problem-Reduction, and Theorem Proving-Some Relationships.

Gordon J. van der Brug, Jack Minker

Commun. ACM, 1975

1974

The Earley Algorithm as a Problem Representation.

Jack Minker, Gordon J. van der Brug

Inf. Process. Lett., 1974

Representations of the language recognition problem for a theorem prover.

Jack Minker, Gordon J. van der Brug

Int. J. Parallel Program., 1974