Skip to contents

Liu, Leonhard Y. [Author]; Weiner, Peter [Author]

A characterization of semi-linear sets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Princeton: Univ., 1968

Published in: Princeton University: Technical report ; 66
Juhnke, Friedrich [Author] ; Sarges, Olaf [Other]

Linear semi-infinite optimization with cartesian product index sets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Magdeburg: Fak. für Mathematik, Otto-von-Guericke-Univ., 1997

Published in: Otto-von-Guericke-Universität Magdeburg: Preprint / Fakultät für Mathematik, Otto-von-Guericke-Universität Magdeburg ; 1997,27
Chistikov, Dmitry [Author]; Haase, Christoph [Author] ; Dmitry Chistikov and Christoph Haase [Contributor]

On the Power of Ordering in Linear Arithmetic Theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020
Chistikov, Dmitry [Author]; Haase, Christoph [Author] ; Dmitry Chistikov and Christoph Haase [Contributor]

On the Complexity of Quantified Integer Programming

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Chistikov, Dmitry [Author]; Haase, Christoph [Author] ; Dmitry Chistikov and Christoph Haase [Contributor]

The Taming of the Semi-Linear Set

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Haase, Christoph [Author]; Hofman, Piotr [Author] ; Christoph Haase and Piotr Hofman [Contributor]

Tightening the Complexity of Equivalence Problems for Commutative Grammars

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Beier, Simon [Author]; Holzer, Markus [Author] ; Institut für Informatik [Contributor]

Semi-Linear Lattices and Right One-Way Jumping Finite Automata

View online
Schließen

Links

https://nbn-resolving.org/urn:nbn:de:hebis:26-opus-144335

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Justus-Liebig-Universität Gießen; FB 07 - Mathematik und Informatik, Physik, Geographie. Informatik, 2019
Chonev, Ventsislav [Author]; Ouaknine, Joël [Author]; Worrell, James [Author] ; Ventsislav Chonev and Joël Ouaknine and James Worrell [Contributor]

On the Skolem Problem for Continuous Linear Dynamical Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
Tijs, Stef H. [Author]; Timmer, Judith [Author]; Llorca, Natividad [Author]; Sánchez Soriano, J. [Author]

The Owen Set and the Core of Semi-Infinite Linear Production Situations

View online
Schließen

Access

Full access (via DOI)

https://ssrn.com/abstract=247005

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[S.l.]: SSRN, 2000
D’Alessandro, Flavio; Intrigila, Benedetto; Varricchio, Stefano

Quasi-polynomials, linear Diophantine equations and semi-linear sets

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2012

Published in: Theoretical Computer Science
Yu, Wei-Yan; Cao, Xiao-Hong

Linear Maps Preserving the Set of Semi-Weyl Operators

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

MDPI AG, 2023

Published in: Mathematics
D'Alessandro, Flavio; Intrigila, Benedetto

On the commutative equivalence of semi-linear sets of Nk

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2015

Published in: Theoretical Computer Science
Benedikt, Michael; Keisler, H. Jerome

Definability with a predicate for a semi-linear set

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2003

Published in: Journal of Symbolic Logic
Benedikt, Michael; Keisler, H. Jerome

Definability with a Predicate for a Semi-Linear Set

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

The Association for Symbolic Logic, Inc., 2003

Published in: The Journal of Symbolic Logic
O’Dell, Brian D.; Misawa, Eduardo A.

Semi-Ellipsoidal Controlled Invariant Sets for Constrained Linear Systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ASME International, 2002

Published in: Journal of Dynamic Systems, Measurement, and Control
Bouziane, Zakaria; Finkel, Alain

Cyclic Petri Net Reachability Sets are Semi-linear Effectively Constructible

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: Electronic Notes in Theoretical Computer Science
De Pree, John; Klein, Harry

Semi-groups and collectively compact sets of linear operators

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mathematical Sciences Publishers, 1974

Published in: Pacific Journal of Mathematics
Geue, Andrew S.

Precompact and collectively semi-precompact sets of semi-precompact continuous linear operators

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mathematical Sciences Publishers, 1974

Published in: Pacific Journal of Mathematics
Prasad, Birendra

A note on normed linear linear space with the concept of semi convex set

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AkiNik Publications, 2014

Published in: International Journal of Applied Research
Astaf’ev, N. N.; Ivanov, A. V.; Trofimov, S. P.

The Set of Target Vectors in a Semi-Infinite Linear Program with a Duality Gap

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Pleiades Publishing Ltd, 2019

Published in: Proceedings of the Steklov Institute of Mathematics

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication