Keywords: Relational lattice; Natural join; Inner union; Undecidability; Generalized ultrametric space; Universal product frame;
مقالات ISI (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: Weighted automata on infinite words; Attacker-Defender games; Vector reachability; Braid group; Undecidability;
Keywords: Conjunctive grammars; Ambiguity; Language equations; Undecidability; Unary languages;
Keywords: Formal methods; Distributed synthesis; Undecidability; Temporal logic;
Keywords: Protocol security; Dolev–Yao adversary; Secrecy problem; Complexity; Undecidability
Keywords: Decision procedures; Set theory; Undecidability;
Keywords: Existential types; Type checking; Typability; Undecidability; Type-free type system; Church style type system
Keywords: primary, 03B70; secondary, 03D70, 03C80, 68Q19Polynomial-time computation; Fixed points; Capturing complexity classes; Existential fixed-point logic; Choiceless polynomial time; Undecidability
Keywords: Implicit computational complexity; λ-Calculus; Polymorphism; Undecidability
Transducer descriptions of DNA code properties and undecidability of antimorphic problems
Keywords: Codes; DNA properties; Trajectories; Transducers; Undecidability;
On the boundary between decidability and undecidability of asynchronous session subtyping
Keywords: Session types; Asynchronous subtyping; Undecidability;
Undecidability of the emptiness problem for context-free picture languages
Keywords: Picture languages; Context-free picture grammars; Emptiness problem; Undecidability;
The undecidability of arbitrary arrow update logic
Keywords: Modal logic; Dynamic epistemic logic; Update logics; Undecidability; Satisfiability;
Undecidability of asynchronous session subtyping
Keywords: Session types; Subtyping; Undecidability; Queue machines;
Inclusion dependencies and their interaction with functional dependencies in SQL
Keywords: Axiomatization; Chase; Complexity; Functional dependency; Inclusion dependency; Null; Partial semantics; Simple semantics; Undecidability; SQL;
Decision problems for word-hyperbolic semigroups
Keywords: 20M35; 68Q45; 20F67Word-hyperbolic semigroups; Decision problems; Undecidability; Isomorphism problem; Context-free languages
Powerful values of polynomials and a conjecture of Vojta
Keywords: primary, 11D85, 11J97; secondary, 11R58, 11U05Squareful; Powerful numbers; Vojtaʼs conjecture; Büchiʼs problem; Undecidability
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types
Keywords: Lambda calculus and related systems; Type checking; Typability; Partial type inference; Second-order unification; Undecidability; Curry-style type system; Church-style type system; Finitely stratified polymorphic types
On characterizations by nice forbidding sets
Keywords: forbidding sets; quasiordered sets; undecidability;
On the study of ambiguity and the trade-off between measures and ambiguity in insertion–deletion languages
Keywords: Insertion–deletion systems; Inherently ambiguous languages; Unambiguous system; Undecidability; Bio-molecular structures; Descriptional complexity measures
More really is different
Keywords: 89.75.-k; 75.10.HkComplexity; Undecidability; Emergence; Ising model; Cellular automata
Can economic systems be seen as computing devices?
Keywords: C00Market equilibrium; Nash game; Undecidability; Incompleteness; Goedel; Axiomatics for economics
On the computability of agent-based workflows
Keywords: Undecidability; Agents; Statecharts; Turing machines; Abacus programs; Workflows; Capabilities
Undecidability in decentralized supervision
Keywords: Discrete event systems; Supervision; Decentralized control; Distributed control; Undecidability;
A formal framework for database sampling
Keywords: Data cleaning; Database sampling; Integrity constraints; Legacy systems; Denotational semantics; Undecidability;
Integrality at a prime for global fields and the perfect closure of global fields of characteristic p>2
Keywords: Hilbert's Tenth Problem; Undecidability; Diophantine definition; Brauer group;
A new dimension sensitive property for cellular automata
Keywords: Number-conserving cellular automata; Undecidability; Number-decreasing cellular automata;
Some Undecidable Approximations of TRSs
Keywords: Approximations; undecidability; reachability; normalisation; neededness;
Quantum automata and algebraic groups
Keywords: Quantum automata; Probabilistic automata; Undecidability; Algebraic groups; Algebraic geometry;
Closed, Open, and Robust Timed Networks
Keywords: Model Checking; Reachability; Parameterized Timed Systems; Undecidability;