Item: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) Redirected to Q5915759 Tag: New redirect |
||||||||||||||
(One intermediate revision by the same user not shown) | |||||||||||||||
redirect | redirect | ||||||||||||||
Q5915759 | |||||||||||||||
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 | ||||||||||||||
Latest revision as of 09:16, 6 May 2024
Redirect to: