Concepedia

Gunnar Stålmarck

GS

Statistics

Publications

5

Citations

317

H-Index

5

Active since

1989

Affiliations

Chalmers University of Technology(Current)

Gunnar Stålmarck is an author at Chalmers University of Technology specializing in computer science, formal methods, and logic.

Publications per year

1989–2000

5

Publications

5

A Tutorial on Stålmarck's Proof Procedure for Propositional Logic

Mary Sheeran, Gunnar Stålmarck · Formal Methods in System Design · 2000 · 128 citations

, , +13

Normalization theorems for full first order classical natural deduction

Gunnar Stålmarck · Journal of Symbolic Logic · 1991 · 77 citations

, , +12

Short resolution proofs for a sequence of tricky formulas

Gunnar Stålmarck · Acta Informatica · 1996 · 59 citations

, , +12

Modeling and Verifying Systems and Software in Propositional Logic

Gunnar Stålmarck, M. Säflund · IFAC Proceedings Volumes · 1990 · 42 citations

, , +11

A note on the computational complexity of the pure classical implication calculus

Gunnar Stålmarck · Information Processing Letters · 1989 · 11 citations

, , +11

1–5 of 5