On the public citation graph

Syntactic codes and grammar refinement

https://doi.org/10.1007/bf01049475
0 signed · 39 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-1-4615-2217-1_1openalex-snapshot
Introduction to Formal Language Theory
inferredcites →https://doi.org/10.1007/978-94-009-7707-5_5openalex-snapshot
Phrase Structure Grammar
inferredcites →https://doi.org/10.1016/0024-3841(91)90047-9openalex-snapshot
Relativized minimality
inferredcites →https://doi.org/10.1016/0096-0551(80)90068-5openalex-snapshot
Introduction to formal language theory
inferredcites →https://doi.org/10.1017/cbo9780511809088openalex-snapshot
Introduction to Lattices and Order
inferredcites →https://doi.org/10.2307/2185122openalex-snapshot
Generalized Phrase Structure Grammar.
inferredcites →https://doi.org/10.3115/976744.976773openalex-snapshot
Mathematical aspects of command relations
inferredcites →https://doi.org/10.5860/choice.28-3334openalex-snapshot
Introduction to lattices and order

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-48199-0_2openalex-snapshot
On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
inferred← citeshttps://doi.org/10.1007/3-540-61377-3_33openalex-snapshot
A proof system for finite trees
inferred← citeshttps://doi.org/10.1007/978-3-540-45206-5_13openalex-snapshot
XPath and Modal Logics of Finite DAG‘s
inferred← citeshttps://doi.org/10.1007/978-3-642-14322-9_7openalex-snapshot
Some Interdefinability Results for Syntactic Constraint Classes
inferred← citeshttps://doi.org/10.1007/978-3-642-14729-6_6openalex-snapshot
Formal Parameters of Phonology
inferred← citeshttps://doi.org/10.1007/978-94-015-8879-9_2openalex-snapshot
Modal Logic and Model-Theoretic Syntax
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_10openalex-snapshot
Features in Phonological Theory
inferred← citeshttps://doi.org/10.1007/978-94-017-0395-6_19openalex-snapshot
Synchrony and Composition: Toward a Cognitive Architecture between Classicism and Connectionism
inferred← citeshttps://doi.org/10.1007/bf00984931openalex-snapshot
Is there a genuine modal perspective on feature structures?
inferred← citeshttps://doi.org/10.1007/bfb0052150openalex-snapshot
Inessential features
inferred← citeshttps://doi.org/10.1007/bfb0052160openalex-snapshot
Language understanding: A procedural perspective
inferred← citeshttps://doi.org/10.1007/bfb0052167openalex-snapshot
Strict LT2 : Regular :: Local : Recognizable
inferred← citeshttps://doi.org/10.1007/s11225-009-9220-3openalex-snapshot
Annotation Theories over Finite Graphs
inferred← citeshttps://doi.org/10.1016/b978-0-444-53726-3.00007-4openalex-snapshot
After Government and Binding Theory (Update of )
inferred← citeshttps://doi.org/10.1016/j.jal.2010.08.004openalex-snapshot
Complexity of hybrid logics over transitive frames
inferred← citeshttps://doi.org/10.1016/j.tcs.2018.01.007openalex-snapshot
Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach
inferred← citeshttps://doi.org/10.1016/s1570-2464(07)80022-xopenalex-snapshot
19 Applications of modal logic in linguistics
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82588-5openalex-snapshot
Model Theoretic Syntax and Parsing
inferred← citeshttps://doi.org/10.1016/s1874-5857(06)80033-6openalex-snapshot
The gamut of dynamic logics
inferred← citeshttps://doi.org/10.1023/a:1005360201059openalex-snapshot
"Grammarless" Phrase Structure Grammar
inferred← citeshttps://doi.org/10.1023/a:1010642022751openalex-snapshot
inferred← citeshttps://doi.org/10.1023/a:1012228321223openalex-snapshot
A Descriptive Characterisation of Indexed Grammars
inferred← citeshttps://doi.org/10.1093/jigpal/jzu010openalex-snapshot
Propositional dynamic logic for Petri nets
inferred← citeshttps://doi.org/10.1093/jigpal/jzy014openalex-snapshot
Complexity and expressivity of propositional dynamic logics with finitely many variables
inferred← citeshttps://doi.org/10.1093/oxfordhb/9780199549368.013.0027openalex-snapshot
Computational Perspectives on Minimalism
inferred← citeshttps://doi.org/10.1109/lics.2013.21openalex-snapshot
Model-Checking Parse Trees
inferred← citeshttps://doi.org/10.1515/9783110806786.259openalex-snapshot
Adjunction structures and syntactic domains
inferred← citeshttps://doi.org/10.3115/981863.981865openalex-snapshot
A model-theoretic framework for theories of syntax
inferred← citeshttps://doi.org/10.3166/jancl.13.231-276openalex-snapshot
PDL with intersection of programs: a complete axiomatization
inferred← citeshttps://doi.org/10.3166/jancl.15.115-135openalex-snapshot
PDL for ordered trees
inferred← citeshttps://doi.org/10.3233/fun-2001-45302openalex-snapshot
Iteration-free PDL with Intersection: a Complete Axiomatization
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.