Generalized Post Embedding Problems

Article Properties
Cite
Karandikar, Prateek, and Philippe Schnoebelen. “Generalized Post Embedding Problems”. Theory of Computing Systems, vol. 56, no. 4, 2014, pp. 697-16, https://doi.org/10.1007/s00224-014-9561-9.
Karandikar, P., & Schnoebelen, P. (2014). Generalized Post Embedding Problems. Theory of Computing Systems, 56(4), 697-716. https://doi.org/10.1007/s00224-014-9561-9
Karandikar, Prateek, and Philippe Schnoebelen. “Generalized Post Embedding Problems”. Theory of Computing Systems 56, no. 4 (2014): 697-716. https://doi.org/10.1007/s00224-014-9561-9.
Karandikar P, Schnoebelen P. Generalized Post Embedding Problems. Theory of Computing Systems. 2014;56(4):697-716.
Journal Categories
Science
Mathematics
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Computable fixpoints in well-structured symbolic model checking Formal Methods in System Design
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 7 2013
On deterministic finite automata and syntactic monoid size Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 15 2004
10.1023/B:FORM.0000033962.51898.1a 2004
10.1016/S0304-3975(00)00102-X 2001
Verifying Programs with Unreliable Channels Information and Computation
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 61 1996