Search the dblp DataBase

Publications of Author

1. Gheorghe Grigoras
   On the isomorphism-complete problems and polynomial time isomorphism. [Citation Graph (0, 0)][DBLP]
   Acta Cybern., 1981, v:5, n:, pp:135-142 [Journal]
   
2. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
   A Tutorial on a Monadic Approach for Expressions Evaluation. [Citation Graph (0, 0)][DBLP]
   Sci. Ann. Cuza Univ., 2002, v:12, n:, pp:1-27 [Journal]
   
3. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
   Co-determinism and unambiguity of automata accepting finite or infinite words. [Citation Graph (0, 0)][DBLP]
   Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:1-11 [Journal]
   
4. Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu
   On the Complexity of Propositional Calculus Formulae. [Citation Graph (0, 0)][DBLP]
   Sci. Ann. Cuza Univ., 2001, v:10, n:, pp:27-44 [Journal]
   
5. Gheorghe Grigoras, Dorel Lucanu
   On Hidden Algebra Semantics of Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
   Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:51-68 [Journal]
   
6. Dan A. Simovici, Gheorghe Grigoras
   Even Initial Feedback Vertex Set Problem is NP-Complete. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 1979, v:8, n:2, pp:64-66 [Journal]
   
7. 
   A Rewrite Stack Machine for ROC!. [Citation Graph (, )][DBLP]
   
   
8. 
   A Competency-Oriented Modeling Approach for Personalized E-Learning Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   A Rule-Based Approach for Developing a Competency-Oriented User Model for E-Learning Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Automated Proving of the Behavioral Attributes. [Citation Graph (, )][DBLP]
    
    
11. 
    Regular Strategies as Proof Tactics for CIRC. [Citation Graph (, )][DBLP]
    
    
12. 
    Patterns for Maude Metalanguage Applications. [Citation Graph (, )][DBLP]