Concepedia

Victor Harnik

VH

9

Publications

219

Citations

9

H-Index

1971

Active since

Affiliations

University of Haifa(Current)

Université de Montréal

Dartmouth College

Victor Harnik is an author at University of Haifa specializing in automated reasoning, language studies, and linguistics.

Top concepts

Automated ReasoningLanguageEngineeringLinguisticsSyntaxFormal MethodsSemanticsCoding TheorySystem SoftwareComputer Science

Publications per year

1971–1992

9

Publications

9

Fundamentals of forking

Victor Harnik, Leo Harrington · Annals of Pure and Applied Logic · 1984 · 49 citations

Engineering, Concurrency Theory, Concurrency (Computer Science) +3

A tree argument in infinitary model theory

Victor Harnik, Michael Makkai · Proceedings of the American Mathematical Society · 1977 · 40 citations

S. Shelah. Classification theory and the number of nonisomorphic models. Studies in logic and the foundations of mathematics, vol. 92. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, xvi + 544 pp.

Victor Harnik · Journal of Symbolic Logic · 1982 · 35 citations

Non-classical Logic, Nonisomorphic Models, Automated Reasoning +5

Applications of vaught sentences and the covering theorem

Victor Harnik, Michael Makkai · Journal of Symbolic Logic · 1976 · 20 citations

Combinatorics On Word, Syntax, Computability Theory +12

Lambek's categorical proof theory and Läuchli's abstract realizability

Victor Harnik, Michael Makkai · Journal of Symbolic Logic · 1992 · 18 citations

Formal Proof, Categorical Proof Theory, Engineering +11

Rows per page

1–5 of 9