Q5919611 (Q5919611): Difference between revisions
From MaRDI portal
Item:Q5919611
EloiFerrer (talk | contribs) Page moved from [mardi:Publication:5919611] to [mardi:Publication:5915759] |
EloiFerrer (talk | contribs) Merged Item into Q5915759 Tag: Replaced |
||||||||||||||
| label / en | label / en | ||||||||||||||
| description / en | description / en | ||||||||||||||
| Property / instance of | |||||||||||||||
| Property / instance of: scholarly article / rank | |||||||||||||||
| Property / title | |||||||||||||||
| Property / title: Decidable weighted expressions with Presburger combinators (English) / rank | |||||||||||||||
| Property / zbMATH Open document ID | |||||||||||||||
| Property / zbMATH Open document ID: 1429.68113 / rank | |||||||||||||||
| Property / DOI | |||||||||||||||
| Property / DOI: 10.1016/j.jcss.2019.05.005 / rank | |||||||||||||||
| Property / author | |||||||||||||||
| Property / author: Emmanuel Filiot / rank | |||||||||||||||
| Property / author | |||||||||||||||
| Property / author: Nicolas Mazzocchi / rank | |||||||||||||||
| Property / author | |||||||||||||||
| Property / author: Jean-François Raskin / rank | |||||||||||||||
| Property / published in | |||||||||||||||
| Property / published in: Journal of Computer and System Sciences / rank | |||||||||||||||
| Property / publication date | |||||||||||||||
| |||||||||||||||
| Property / publication date: 30 August 2019 / rank | |||||||||||||||
| Property / full work available at URL | |||||||||||||||
| Property / full work available at URL: https://arxiv.org/abs/1706.08855 / rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 68Q45 / rank | |||||||||||||||
| Property / Mathematics Subject Classification ID | |||||||||||||||
| Property / Mathematics Subject Classification ID: 03F30 / rank | |||||||||||||||
| Property / zbMATH DE Number | |||||||||||||||
| Property / zbMATH DE Number: 7100311 / rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
| Property / zbMATH Keywords: weighted automata / rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
| Property / zbMATH Keywords: Presburger arithmetic / rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
| Property / zbMATH Keywords: quantitative languages / rank | |||||||||||||||
| Property / zbMATH Keywords | |||||||||||||||
| Property / zbMATH Keywords: weighted expressions / rank | |||||||||||||||
| Property / MaRDI profile type | |||||||||||||||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||||||||||||||
| Property / OpenAlex ID | |||||||||||||||
| Property / OpenAlex ID: W2962687554 / rank | |||||||||||||||
| Property / arXiv ID | |||||||||||||||
| Property / arXiv ID: 1706.08855 / rank | |||||||||||||||
| links / mardi / name | links / mardi / name | ||||||||||||||
Revision as of 09:16, 6 May 2024
No description defined
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
No description defined |
