Index-supported pattern matching on tuples of time-dependent values
Crossref DOI link: https://doi.org/10.1007/s10707-016-0286-6
Published Online: 2017-01-03
Published Print: 2017-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Valdés, Fabio http://orcid.org/0000-0003-4131-819X
Güting, Ralf Hartmut
License valid from 2017-01-03