Jean-Pierre Benejam

Available identifiers

zbMath Open benejam.jean-pierreMaRDI QIDQ4052121

List of research outcomes

Publication	Date of Publication	Type
Algebraic Characterizations of the Satisfiability of First‐Order Logical Formulas and the Halting of Programs	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4096927	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4401934	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4401933	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4052122	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4068723	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5566504	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5551140	1965-01-01	Paper

Research outcomes over time

This page was built for person: Jean-Pierre Benejam