Result 1 to 20 of 931 total
Behavioral institutions and refinements in generalized hidden logics. (English)
J. UCS 12, No. 8, 1020-1049, electronic only (2006).
1
On-line monitoring of metric temporal logic with time-series constraints using alternating finite automata. (English)
J. UCS 12, No. 5, 482-498, electronic only (2006).
2
Function-complete lookahead in support of efficient sat search heuristics. (English)
J. UCS 10, No. 12, 1655-1692, electronic only (2004).
3
Automated support for enterprise information systems. (English)
J. UCS 10, No. 11, 1519-1539, electronic only (2004).
4
Incremental maintenance of data warehouses based on past temporal logic operators. (English)
J. UCS 10, No. 9, 1035-1064, electronic only (2004).
5
Partial categorical multi-combinators and church-rosser theorems. (English)
J. UCS 10, No. 7, 769-788, electronic only (2004).
6
Die Ausdrucksstärke der Logik erster Stufe mit eingebauten Prädikaten. (German)
Dorothea Wagner (ed.), Ausgezeichnete Informatikdissertationen 2002. Bonner Köllen Verlag (ISBN 3-88579-407-1). GI-Edition: Lecture Notes in Informatics (LNI), D-3, 153-162 (2003).
7
Pure and applied fixed-point logics. (English)
Dorothea Wagner (ed.), Ausgezeichnete Informatikdissertationen 2002. Bonner Köllen Verlag (ISBN 3-88579-407-1). GI-Edition: Lecture Notes in Informatics (LNI), D-3, 59-68 (2003).
8
Propositional interval neighborhood temporal logics. (English)
J. UCS 9, No. 9, 1137-1167, electronic only (2003).
9
Hol-z 2.0: a proof environment for z-specifications. (English)
J. UCS 9, No. 2, 152-172, electronic only (2003).
10
Moby/rt: a tool for specification and verification of real-time systems. (English)
J. UCS 9, No. 2, 88-105, electronic only (2003).
11
On decision problems related to the preferred semantics for argumentation frameworks. (English)
J. Log. Comput. 13, No.3, 377-403 (2003).
12
Fuzzy sets and systems — IFSA 2003. 10th international Fuzzy Systems Association world congress, Istanbul, Turkey, June 30 ‒ July 2, 2003. Proceedings. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2715. Berlin: Springer. xv, 735 p. EUR 77.00/net; \$ 103.00; \sterling 59.00; sFr 128.00 (2003).
13
On generalized Delannoy paths. (English)
SIAM J. Discrete Math. 16, No.2, 208-223 (2003).
14
On the autoreducibility of random sequences. (English)
SIAM J. Comput. 32, No.6, 1542-1569 (2003).
15
$λ$-resolution of the medium predicate logic system. (Chinese)
J. Softw. 14, No. 3, 345-349 (2003).
16
Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22‒26, 2003. Proceedings. (English)
Lecture Notes in Computer Science. Lecture Notes in Artificial Intelligence. 2850. Berlin: Springer (ISBN 3-540-20101-7/pbk). xiii, 437 p. EUR 54.00/net; \$ 71.00; \sterling 41.50; sFr 92.50 (2003).
17
Inconsistent property of Lee and Li fuzzy ranking method. (English)
Comput. Math. Appl. 45, No.4-5, 709-713 (2003).
18
Soft set theory. (English)
Comput. Math. Appl. 45, No.4-5, 555-562 (2003).
19
Comparison and usability of two rewriting systems for theorem proving. (English)
PU.M.A., Pure Math. Appl. 13, No.1-2, 293-302 (2002).
20
Result 1 to 20 of 931 total
Start
Contact
Print
General Help
