Daisuke Bekki
From MaRDI portal
Person:2425326
Available identifiers
zbMath Open bekki.daisukeMaRDI QIDQ2425326
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Variable handling and compositionality: comparing DRT and DTS | 2019-06-26 | Paper |
| Implementing Variable Vectors in a CCG Parser | 2017-02-22 | Paper |
| Toward the Formulation of Presupposition by Illative Combinatory Logic | 2014-06-24 | Paper |
| Extractability as the Deduction Theorem in Subdirectional Combinatory Logic | 2014-06-24 | Paper |
| Representing Anaphora with Dependent Types | 2014-06-24 | Paper |
| Conditional Logic C b and Its Tableau System | 2011-07-01 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Daisuke Bekki
