Cover Image

Spanish Resource Grammar version 2023

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zamaraeva, Olga, Allegue, Lorena S., Gómez-Rodríguez, Carlos
Format:	Preprint
Published:	2023
Subjects:	Computation and Language 03B65
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Grammar Assistance Using Syntactic Structures (GAUSS)
by: Zamaraeva, Olga, et al.
Published: (2024)

Interleaving Logic and Counting
by: van Benthem, Johan, et al.
Published: (2025)

A proof-theoretical approach to some extensions of first order quantification
by: Allègre, Loïc, et al.
Published: (2024)

Convex Team Logics
by: Anttila, Aleksi, et al.
Published: (2025)

State-based Modal Logics for Free Choice
by: Aloni, Maria, et al.
Published: (2023)

The Orthologic of Epistemic Modals
by: Holliday, Wesley H., et al.
Published: (2022)

Probabilistic Disjunctive Normal Forms in Temporal Logic and Automata Theory
by: Kuznetsov, Alexander
Published: (2026)

Vagueness and the Connectives
by: Holliday, Wesley H.
Published: (2024)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Aristotle's Second-Order Logic and Natural Deduction
by: Protin, Clarence
Published: (2023)

Modern Definition and Ancient Definition
by: Protin, Clarence
Published: (2022)

Revisiting Supertagging for Faster HPSG Pasing
by: Zamaraeva, Olga, et al.
Published: (2023)

Natural Term Logic
by: Protin, Clarence
Published: (2024)

A vector logic for intensional formal semantics
by: Quigley, Daniel
Published: (2026)

Conditional and Modal Reasoning in Large Language Models
by: Holliday, Wesley H., et al.
Published: (2024)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2020)

More Aligned, Less Diverse? Analyzing the Grammar and Lexicon of Two Generations of LLMs
by: Gude, Adrián, et al.
Published: (2026)

Univalent Material Set Theory
by: Gylterud, Håkon Robbestad, et al.
Published: (2023)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
by: Walsh, Sean
Published: (2024)

The Syllogistic with Unity
by: Pratt-Hartmann, Ian
Published: (2011)

Librationism & its classical and extraclassical set theories
by: Bjørdal, Frode A.
Published: (2022)

On Probabilistic $ω$-Pushdown Systems, and $ω$-Probabilistic Computational Tree Logic
by: Lin, Deren, et al.
Published: (2022)

Topological weak containment
by: Thornton, Riley
Published: (2025)

Comparing LLM-generated and human-authored news text using formal syntactic theory
by: Zamaraeva, Olga, et al.
Published: (2025)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

Efficient space-time discretizations for tracking the boundaries of reachable sets
by: Rieger, Janosch, et al.
Published: (2025)

Continuous and algebraic domains in univalent foundations
by: de Jong, Tom, et al.
Published: (2024)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

A characterization of Continuous Logic by using quantale-valued logics
by: Reyes, David, et al.
Published: (2021)

Approximate Axiomatization for Differentially-Defined Functions
by: Platzer, André, et al.
Published: (2025)

Equivalence of finite non-deterministic logical matrices is undecidable
by: Caleiro, Carlos, et al.
Published: (2024)

The Hamiltonian Syllogistic
by: Pratt-Hartmann, Ian
Published: (2010)

Axiomatization of Compact Initial Value Problems: Open Properties
by: Platzer, André, et al.
Published: (2024)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
by: Samra, Jean Abou, et al.
Published: (2026)

The Patch Topology in Univalent Foundations
by: Arrieta, Igor, et al.
Published: (2024)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
by: Moore, Hayden, et al.
Published: (2025)

Cartan subrings in soluble ranked Lie rings
by: Ntsiri, Jules Tindzogho, et al.
Published: (2025)

Quelques résultats sur les anneaux de Lie qui n ' ont pas de chaine infinie de centralisateurs
by: Zamour, Samuel
Published: (2025)