The following pages link to Jacques Cohen (Q628334):
Displaying 31 items.
- Efficient synthesis of a class of Boolean programs from I-O data: application to genetic networks (Q628335) (← links)
- A note on a fast algorithm for sparse matrix multiplication (Q1050087) (← links)
- A conversational language for solving problems in dimensional analysis (Q1211859) (← links)
- Interpretation of non-deterministic algorithms in higher-level languages (Q1215263) (← links)
- On the implementation of Strassen's fast multiplication algorithm (Q1219685) (← links)
- Symbolic and numerical computer analysis of the combined local and overall buckling of rectangular thin-walled columns (Q1224442) (← links)
- Automatic solution of a certain class of combinatorial problems (Q1239612) (← links)
- An application of CLP: Checking the correctness of theorems in geometry (Q1969735) (← links)
- Uniform Random Generation of Strings in a Context-Free Language (Q3036723) (← links)
- (Q3049801) (← links)
- Parser generation and grammar manipulation using prolog's infinite trees (Q3694728) (← links)
- Automating program analysis (Q3769944) (← links)
- (Q3809231) (← links)
- A Case Study in Program Transformation: Translation into Polish (Q3857725) (← links)
- Upper Bounds for Speedup in Parallel Parsing (Q3936224) (← links)
- Computer-assisted microanalysis of programs (Q3953163) (← links)
- Experience with a conversational parser generating system (Q4051569) (← links)
- Compilation of linear partial differential equations into finite-difference programs (Q4076705) (← links)
- A language for inquiring about the run-time behaviour of programs (Q4134903) (← links)
- Symbolic Solution of Finite-Difference Equations (Q4138059) (← links)
- Analyses of deterministic parsing algorithms (Q4158458) (← links)
- Two Algorithms for Determining Volumes of Convex Polyhedra (Q4188766) (← links)
- Evaluating and Improving Recursive Descent Parsers (Q4199567) (← links)
- (Q4207562) (← links)
- A nucleus of a theorem-prover described inAlgol-68 (Q4401574) (← links)
- A tribute to Alain Colmerauer (Q4452645) (← links)
- (Q4702572) (← links)
- Two languages for estimating program efficiency (Q4766011) (← links)
- An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP (Q5289309) (← links)
- (Q5640743) (← links)
- Evalquote in simple Fortran: A tutorial on interpreting Lisp (Q5652184) (← links)
