Complexity of restricted variants of Skolem and related problems

Complexity of restricted variants of Skolem and related problems

書誌詳細
主要な著者:	Akshay, S, Balaji, N, Vyas, N
フォーマット:	Conference item
出版事項:	Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017

類似資料

On the Skolem problem and the Skolem conjecture
著者:: Lipton, RJ, 等
出版事項: (2022)

On Robustness for the Skolem, Positivity and Ultimate Positivity Problems
著者:: S. Akshay, 等
出版事項: (2024-06-01)

The pseudo-Skolem Problem is decidable
著者:: D'Costa, J, 等
出版事項: (2021)

On the Skolem problem and prime powers
著者:: Ouaknine, J, 等
出版事項: (2020)

On the skolem problem for continuous linear dynamical systems
著者:: Chonev, V, 等
出版事項: (2016)

On the Skolem Problem for continuous linear dynamical systems
著者:: Ouaknine, J, 等
出版事項: (2016)

Universal skolem sets
著者:: Luca, F, 等
出版事項: (2021)

Skolem meets Schanuel
著者:: Bilu, Y, 等
出版事項: (2022)

On strong Skolem starters for ℤpq
著者:: Adrián Vázquez-Ávila
出版事項: (2020-09-01)

SET-THEORY, SKOLEMS-PARADOX AND THE 'TRACTATUS'
著者:: Moore, A
出版事項: (1985)

Skolem Number of Cycles and Grid Graphs
著者:: Braxton Carrigan, 等
出版事項: (2021-08-01)

Sequent calculus Sk4 for skolemized formulas
著者:: Andrejus Belovas, 等
出版事項: (2005-12-01)

On Skolem odd and even difference mean graphs
著者:: Gee-Choon Lau, 等
出版事項: (2018-04-01)

A universal Skolem set of positive lower density
著者:: Luca, F, 等
出版事項: (2022)

Towards skolemize clauses binding for reasoning in inference engine
著者:: Abdul Kadir, Rabiah, 等
出版事項: (2007)

Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic
著者:: Federico Aschieri, 等
出版事項: (2012-10-01)

Intelligent information extraction using logical approach: skolemize clauses binding
著者:: Abdul Kadir, Rabiah, 等
出版事項: (2008)

Retrieving answers from multiple documents using semantic skolem indexing
著者:: Varathan, Kasturi Dewi, 等
出版事項: (2011)

Skolem preprocessing using WordNet and lexicon in building effective knowledge representation
著者:: Varathan, Kasturi Dewi, 等
出版事項: (2011)

Graceful Labeling and Skolem Graceful Labeling on the U-star Graph and It’s Application in Cryptography
著者:: Meliana Pasaribu, 等
出版事項: (2021-05-01)

Numerical-symbolic methods for searching relative equilibria in the restricted problem of four bodies
著者:: Alexander N. Prokopenya
出版事項: (2018-07-01)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions
著者:: Gottlob, G, 等
出版事項: (2005)

Restricted Boltzmann Machine-Assisted Estimation of Distribution Algorithm for Complex Problems
著者:: Lin Bao, 等
出版事項: (2018-01-01)

Variantes terapéuticas del estrabismo restrictivo Therapeutic variants of restricted strabismus
著者:: María Cáceres Toledo, 等
出版事項: (2009-12-01)

The restricted projection problems
著者:: Gan, Shengwen
出版事項: (2023)

THE RESTRICTED BURNSIDE PROBLEM
著者:: Vaughanlee, M
出版事項: (1985)

Iron restriction induces the small-colony variant phenotype in Staphylococcus aureus
著者:: Shariful Islam, 等
出版事項: (2022-12-01)

Complexity of minesweeper with restricted number
著者:: Wu, Ray Hua
出版事項: (2018)

Bounds in the restricted Burnside problem
著者:: Vaughan-Lee, M, 等
出版事項: (1999)

Waring's problem with restricted digits
著者:: Green, B
出版事項: (2025)

Enhancing the performance of quantum reservoir computing and solving the time-complexity problem by artificial memory restriction
著者:: Saud Čindrak, 等
出版事項: (2024-01-01)

Endoscopic Management of a Complex Biliary Problem
著者:: Mayur G. Gattani, 等
出版事項: (2023-03-01)

Complex continued fractions with restricted entries
著者:: Pawel Hanus, 等
出版事項: (1998-10-01)

UPPER-BOUNDS IN THE RESTRICTED BURNSIDE PROBLEM
著者:: Vaughanlee, M, 等
出版事項: (1993)

The General and restricted problems of three bodies/
著者:: Szebehely, Victor Groyzo, 1921-
出版事項: (1974)

The complexity of the Kth largest subset problem and related problems
著者:: Haase, C, 等
出版事項: (2015)

Effects of Radiation Pressure on the Elliptic Restricted Four-Body Problem
著者:: Sahar H. Younis, 等
出版事項: (2021-01-01)

Complex tin ores and related problems
著者:: 375653 Abdullah Hasbi Hassan

Nonmedical Uses of Antibiotics: Time to Restrict Their Use?
著者:: Richard William Meek, 等
出版事項: (2015-10-01)

Clinical and pathogenetic variants of fetal growth restriction with different periods of manifestation
著者:: I. S. Lipatov, 等
出版事項: (2021-04-01)