A Complete Bibliography of Publications in Chicago Journal of Theoretical Computer Science
نویسنده
چکیده
29]. Accuracy [34]. Algorithms [18, 15, 6]. Approximating [12]. Arbitrary [29]. Arithmetic [16]. ATM [7]. Atomicity [9]. Automorphisms [21]. Balancing [35]. Bibliography [20]. Boolean [2]. Bounds [28, 29]. Branching [16]. Channel [10]. Characterizing [33]. Checkable [4]. Checking [37]. Circuits [27, 37, 16]. Classes [33]. Clock [34]. Closed [1]. Coding [31]. Coloring [32]. Combinatorics [15]. Complement [1]. Complements [23]. complete [10]. Completeness [32]. Complexity [37, 25, 24, 15]. Comprehensive [20]. Concurrent [5]. Concurrent-Program [5]. Consistency [29]. Constant [37]. Constant-Depth [37]. Constraint [30]. Context [8]. Context-Sensitive [8]. Correction [13]. Cut [12]. Data [29]. Debate [4]. Decrement [35]. Definition [36]. Depth [33, 37]. Determinant [15]. Distributed [30, 14, 19]. Dual [12]. Dynamic [14]. Efficient [6]. Exclusion [36].
منابع مشابه
A Procosii Project Final Report: Esprit Basic Research Project 7071
An overview of the research and associated activities of the European collaborative ESPRIT Basic Research ProCoS II project (no. 7071) on \Provably Correct Systems" which ran from 1992 to 1995 is presented. This was a follow-on project to ProCoS (no. 3104) and ran in parallel with the ProCoS-WG Working Group (no. 8694), all previously announced in the Bulletin of the EATCS [3, 17, 18]. A compre...
متن کاملبررسی الگوی خود-آرشیوی نویسندگان ایرانی: مقایسه حوزه های علوم و علوم اجتماعی
Purpose: This research is devoted to find out the level of self-archival pattern among Iranian researchers with high rate of publications, based upon the ISI citation indices in the scopes of science and social sciences. Methodology: This research is a descriptive survey based on observation. The necessary data was obtained through observing the websites of the 80 Iranian researchers with high...
متن کامل