Concepedia

Wojciech Buszkowski

WB

13

Publications

469

Citations

12

H-Index

1982

Active since

Affiliations

Adam Mickiewicz University in Poznań(Current)

Institute of Mathematics

Universitat Rovira i Virgili

University of Warmia and Mazury in Olsztyn

PBG (Poland)

Wojciech Buszkowski is an author at Adam Mickiewicz University in Poznań specializing in automated reasoning, engineering, and syntax.

Top concepts

Automated ReasoningSyntaxLanguageEngineeringLinguisticsGrammarFormal MethodsRepresentation TheoryMathematical FoundationsComputational Linguistics

Publications per year

1982–2010

13

Publications

13

Completeness Results for Lambek Syntactic Calculus

Wojciech Buszkowski · Mathematical logic quarterly · 1986 · 98 citations

Syntax, Automated Reasoning, Grammatical Formalism +6

Categorial grammars determined from linguistic data by unification

Wojciech Buszkowski, Gerald Penn · Studia Logica · 1990 · 97 citations

Syntax, Categorial Grammars, Computational Linguistics +7

Some Decision Problems in the Theory of Syntactic Categories

Wojciech Buszkowski · Mathematical logic quarterly · 1982 · 50 citations

Syntax, Automated Reasoning, Grammatical Formalism +6

Compatibility of a Categorial Grammar With an Associated Category System

Wojciech Buszkowski · Mathematical logic quarterly · 1982 · 44 citations

Syntax, Grammatical Formalism, Computational Linguistics +8

On Action Logic: Equational Theories of Action Algebras

Wojciech Buszkowski · Journal of Logic and Computation · 2006 · 36 citations

Applied Logic, Computational Logic, Algebraic Logic +10

Rows per page

1–5 of 13