Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Computers, Volume 19
Volume 19, Number 1, January 1970
- Robert B. McGhee, Ragnar N. Nilsen:
The Extended Resolution Digital Differential Analyzer: A New Computing Structure for Solving Differential Equations. 1-9 - Dorothea M. Bohling, Lawrence A. O'Neill:
An Interactive Computer Approach to Tolerance Analysis. 10-16 - Harry C. Andrews, Kenneth L. Caspari:
A Generalized Technique for Spectral Analysis. 16-25 - Akio Sasaki, Sadahisa Watanabe:
Computer Simulation of Pulse Propagation Through a Periodic Loaded Transmission Line. 25-33 - Terry G. Gaddess:
An Error-Detecting Binary Adder: A Hardware-Shared Implementation. 34-38 - Herschel H. Loomis Jr., Michael R. McCoy:
A Scheme for Synchronizing High-Speed Logic: Part I. 39-47 - Harold S. Stone:
The Organization of High-Speed Memory for Parallel Block Transfer of Data. 47-53 - Thomas F. Arnold, Chung-Jen Tan, Monroe M. Newborn:
Iteratively Realized Sequential Circuits. 54-66 - H. Allen Curtis:
Systematic Procedures for Realizing Synchronous Sequential Machines Using Flip-Flop Memory: Part II. 66-73 - Harold S. Stone:
A Logic-in-Memory Computer. 73-78 - Ioan Tomescu
:
A Modified Matrix Algorithm for Determining the Complete Connection Matrix of a Switching Network. 78-79 - John Barratt Moore, K. T. Clark:
A Simple Convergent Algorithm for Rapid Solution of Polynomial Equations. 79-80 - Arnold S. Farber, Eugene S. Schlig:
Mathematical "Lower Bounds" and the Logic Circuit Designer. 80-81
Volume 19, Number 2, February 1970
- Ernest L. Hall, David D. Lynch, Samuel J. Dwyer III:
Generation of Products and Quotients Using Approximate Binary Logarithms for Digital Filtering Applications. 97-105 - Jeffery A. Glassman:
A Generalization of the Fast Fourier Transform. 105-116 - Herschel H. Loomis Jr.:
A Scheme for Synchronizing High-Speed Logic Part II. 116-124 - Peter H. Mengert:
Solution of Linear Inequalities. 124-131 - Amar Mukhopadhyay, Greg Schmitz:
Minimization of Exclusive or and Logical Equivalence Switching Circuits. 132-140 - Stephen S. Yau, Calvin K. Tang:
Universal Logic Modules and Their Applications. 141-149 - Granino A. Korn, Hideo Kosako:
A Proposed Hybrid-Computer Method for Functional Optimization. 149-153 - Ali Habibi, Paul A. Wintz:
Fast Multipliers. 153-157 - E. V. Krishnamurthy:
On Range-Transformation Techniques for Division. 157-160 - Iain D. G. Macleod:
Pictorial Output with a Line Printer. 160-162 - William H. Kautz:
The Necessity of Closed Circuit Loops in Minimal Combinational Circuits. 162-164 - T. T. Nieh:
On the Uniqueness of Minimal-State Stochastic Sequential Machines. 164-166 - K. Kannan Nambiar:
Solution to Harrison's Problem. 166-167 - B. G. Reynolds:
General Repetitive Events and Machines. 167-169 - Robert M. Bowman, Eugene S. McVey:
A Method for the Fast Approximate Solution of Large Prime Implicant Charts. 169-173 - Sureshchander:
Comments on "The Synthesis of Binary Sequence Detectors". 173-174 - Robert J. Lechner:
Comment on "Computation of the Fast Walsh-Fourier Transform"1. 174
Volume 19, Number 3, March 1970
- Edward A. Patrick, Joseph Peter Costello, Fabian C. Monds:
Decision-Directed Estimation of a Two-Class Decision Boundary. 197-205 - Philippe P. Loutrel:
A Solution to the Hidden-Line Problem for Computer-Drawn Polyhedra. 205-213 - Robert W. Cook, Michael J. Flynn:
System Design of a Dynamic Microprocessor. 213-222 - Shalhav Zohar:
Negative Radix Conversion. 222-226 - E. V. Krishnamurthy:
On Optimal Ierative Schemes for High-Speed Division. 227-231 - Jan Hlavicka:
Essential Hazard Correction Without the Use of Delay Elements. 232-238 - Vincent Yun-Shen Shen, Archie C. McKellar:
An Algorithm for the Disjunctive Decomposition of Switching Functions. 239-248 - Richard Y. Kain:
Nonlinear Sequential Circuits. 249-254 - Yahiko Kambayashi, Shuzo Yajima, Isao Ohbayashi:
On Finite-Memory Sequential Machines. 254-258 - Stephen S. Yau, M. Orsic:
Fault Diagnosis and Repair of Cutpoint Cellular Arrays. 259-262 - Daniel L. Ostapko, Stephen S. Yau:
Realization of an Arbitrary Switching Function with a Two-Level Network of Threshold and Parity Elements. 262-269 - Mark M. Rochkind:
Transferable FORTRAN Subroutine for Rapid Extended Sorting. 270-272
Volume 19, Number 4, April 1970
- Kenneth J. Thurber, John W. Myrna:
System Design of a Cellular APL Computer. 291-303 - James R. Slagle, Chin-Liang Chang, Richard C. T. Lee:
A New Algorithm for Generating Prime Implicants. 304-310 - Keinosuke Fukunaga, Warren L. G. Koontz:
Application of the Karhunen-Loève Expansion to Feature Selection and Ordering. 311-318 - Thomas A. Slivinski:
An Extension of Threshold Logic. 319-341 - Jehuda Kella:
State Minimization of Incompletely Specified Sequential Machines. 342-348 - Robert O. Winder:
Threshold Logic Asymptotes. 349-353 - Wayne A. Davis:
Sequential Machines Realizable with Delay Elements Only. 353-355 - George C. Sethares:
Completely Periodic Multithreshold Functions. 355-358 - John M. Mage:
Application of Iterative Consensus to Multiple-Output Functions. 359 - L. J. Ulman:
Computation of the Hadamard Transform and the R- Transform in Ordered Form. 359-360 - Abraham Waksman:
On Winograd's Algorithm for Inner Products. 360-361 - Guy W. Beakley, Franz B. Tuteur:
Comments on "A Nonparametric Partitioning Procedure for Pattern Classification"1. 362-363 - Ernest G. Henrichon Jr., King-Sun Fu:
Authors' Reply5. 363-364
Volume 19, Number 5, May 1970
- Paul W. Weiler, Richard S. Kopp, Richard G. Dorman:
A Real-Time Operating System for Manned Spaceflight. 388-398 - Thammavarapu R. N. Rao:
Biresidue Error-Correcting Codes for Computer Arithmetic. 398-402 - Daniel P. Bovet, Gerald Estrin:
A Dynamic Memory Allocation Algorithm. 403-411 - Keith L. Doty, Howard Frank:
Discrete-Time Systems with the Decomposition Property. 412-420 - Eugenio Morreale:
Computational Complexity of Partitioned List Algorithms. 421-428 - Robert E. Lyons:
The Synthesis of Redundant Threshold- Logic Elements. 429-443 - Warren Y. Dere, David J. Sakrison:
Berkeley Array Processor. 444-447 - Thomas W. Calvert:
Nonorthogonal Projections for Feature Extraction in Pattern Recognition. 447-452 - Bostjan Vilfan:
An Improved Upper Bound for the Finite Delay of Graphs. 453-456 - Azaria Paz:
Regular Events in Stochastic Sequential Machines. 456-457 - Paul T. Hulina, Jon G. Bredeson:
On Tracey's Internal State Assignment Method. 458 - Jürg Nievergelt:
On the Time Required for Timing - The Halting Problem Rephrased. 458-459 - Frank M. Brown:
Comment on "The Determination of the Maximum Compatibility Classes". 459 - Arun Kumar Choudhury, A. K. Basu, S. C. De Sarkar:
Authors' Reply. 459 - Michael A. Harrison:
B70-1 Truth Functions and the Problem of Their Realization by Two-Terminal Graphs. 462 - Juris Hartmanis:
R70-1 A Note on Computing Time for the Recognition of Context- Free Languages by a Single-Tape Turing Machine. 463 - John E. Hopcroft:
R70-2 Nested Stack Automata. 463 - Carl V. Page:
R70-3 On Stochastic Languages. 463-464 - Arthur M. Geoffrion:
R70-4 Analysis of Algorithms for the Zero-One Programming Problem. 464 - Gil Grado:
R70-5 The Effect of IC's on the Design of Analog Computers. 464-465 - Walter J. Karplus:
R70-6 Use of Functional Approximation Methods in the Computer Solution of Initial Value Partial Differential Equation Problems. 465 - Maxwell C. Gilliland:
R70-7 Stability Controls for the Analysis of Analog/Digital Hybrid Loops. 465 - Peter C. Young:
R70-8 Analog Methods for On-Line System Identification Using Noisy Measurements. 465-466
Volume 19, Number 6, June 1970
- Israel Korn, Anos Nathan:
On the Representation of Arbitrary Functions and Their Generation. 483-486 - Daniel Tabak:
An Algorithm for Nonlinear Process Stabilization and Control. 487-492 - Daniel P. Bovet, Gerald Estrin:
On Static Memory Allocation in Computer Systems. 492-503 - Eugenio Morreale:
Recursive Operators for Prime Implicant and Irredundant Normal Form Determination. 504-509 - K. K. Chakrabarti, Arun Kumar Choudhury, M. S. Basu:
Complementary Function Approach to the Synthesis of Three-Level NAND Network. 509-514 - Larry L. Kinney:
Decomposition of Asynchronous Sequential Switching Circuits. 515-529 - Wesley W. Chu:
Buffer Behavior for Poisson Arrivals and Multiple Synchronous Constant Outputs. 530-534 - Leonard Kleinrock:
Swap-Time Considerations in Time-Shared Systems. 534-540 - Godfried T. Toussaint, Robert W. Donaldson:
Algorithms for Recognizing Contour-Traced Handprinted Characters. 541-546 - A. E. Brenner, Pieter de Bruyne:
A Sonic Pen: A Digital Stylus System. 546-548 - Keith L. Doty:
On Information-Lossless Discrete-Time Systems. 548-551 - Guney Gonenc:
A Method for the Design of Fault Detection Experiments. 551-558 - P. R. Cassee, M. J. O. Strutt:
Is There Any Advantage of Ternary Logic as Compared with Binary? 559 - Raymond Reeves:
Comment on "A Transform for Logic Networks". 559-560 - Karl S. Menger Jr.:
Author's Reply. 560 - Eugene L. Lawler:
R70-9 A Graph-Theoretic Model for Periodic Discrete Structures. 563 - Michael A. Arbib:
R70-10 The Minimalization of Tree Automata. 563 - Hisao Yamada:
R70-11 Representation of Events in the von Neumann Cellular Model. 563-564 - J. Paul Roth:
R70-12 Diagnosis of Single-Gate Failures in Combinational Circuits. 564-565 - Robert O. Winder:
R70-13 Multigate Synthesis of General Boolean Functions by Threshold Logic Elements. 565 - W. F. Cutlip:
R70-14 Some Results on Cascade Decomposition of Automata. 565 - Ching-Lai Sheng:
R70-15 Realization of Sequential Machines with Threshold Elements. 565-566 - Jack Sklansky:
R70-16 Unate Cellular Logic. 566
Volume 19, Number 7, July 1970
- Israel Gitman, Martin D. Levine:
An Algorithm for Detecting Unimodal Fuzzy Sets and Its Application as a Clustering Technique. 583-593 - John W. Sammon Jr.:
Interactive Pattern Analysis and Classification. 594-616 - Tsunehiko Kameda, Peter Weiner:
On the State Minimization of Nondeterministic Finite Automata. 617-627 - Robert J. Lechner:
A Transform Approach to Logic Design. 627-640 - Gary K. Maki, James H. Tracey:
State Assignment Selection in Asynchronous Sequential Circuits. 641-644 - Nripendra N. Biswas:
On Identification of Totally Symmetric Boolean Functions. 645-648 - Sivaramakrishnan Lakshmivarahan, M. A. L. Thathachar:
Pattern Classification Using Stochastic Approximation Techniques. 649-651 - Jorge Santos, Héctor Arango, Manuel Pascual, G. Roing:
A Cyclic Algebra for the Synthesis of Ternary Digital Systems. 651-653 - Martin Cohn:
Authors' Reply3. 654 - Harry C. Andrews:
B70-2 Transmission of Information by Orthogonal Functions. 656 - Arthur D. Friedman:
R70-17 Asynchronous Sequential Circuits with Feedback. 657 - Erik D. Goodman:
R70-18 Real-Time Computation by n-Dimensional Iterative Arrays of Finite-State Machines. 657-658 - Monroe M. Newborn:
R70-19 Frequency of Decomposability Among Machines with a Large Number of States. 658 - John C. Shepherdson:
R70-20 Sequential Boolean Equations. 658 - Thomas F. Arnold:
R70-21 Time and Tape Complexity of Pushdown Automaton Languages. 658-659 - James Turner:
R70-22 Subdirect Decompositions of Transformation Graphs. 659 - Tsunehiko Kameda:
R70-23 Multi-Tape and Multi-Head Pushdown Automata. 659-660 - John P. Robinson:
R70-24 A Procedure for Selecting Diagnostic Tests. 660
Volume 19, Number 8, August 1970
- David W. Matula:
A Formalization of Floating-Point Numeric Base Conversion. 681-692 - James E. Robertson:
The Correspondence Between Methods of Digital Division and Multiplier Recoding Procedures. 692-701 - Michael J. Flynn:
On Division by Functional Iteration. 702-706 - Huey Ling:
High-Speed Computer Multiplication Using a Multiple-Bit Decoding Algorithm. 706-709 - Gary D. Hornbuckle, Enrico I. Ancona:
The LX-1 Microprocessor and Its Application to Real-Time Signal Processing. 710-720 - Daniel E. Atkins:
Design of the Arithmetic Units of ILLIAC III: Use of Redundancy and Higher Radix Methods. 720-733 - Algirdas Avizienis, Chin Tung:
A Universal Arithmetic Building Element (ABE) and Design Methods for Arithmetic Processors. 733-745 - Chin Tung:
Signed-Digit Division Using Combinational Arithmetic Nets. 746-748 - Antonín Svoboda:
Adder With Distributed Control. 749-751 - Thammavarapu R. N. Rao, Avtar K. Trehan:
Binary Logic for Residue Arithmetic Using Magnitude Index. 752-757 - Richard Brent:
On the Addition of Binary Numbers. 758-759 - M. Robert Aaron:
B70-3 Analog-to-Digital and Digital-to-Analog Conversion Techniques. 762-763 - Peter Richard Benyon:
R70-25 Construction of Multistep Integration Formulas for Simulation Purposes. 763-764 - Michael Yoeli:
R70-26 Probabilistic Aspects of Machine Decomposition Theory. 764 - Samuel Bergman:
R70-27 Tree Generating Regular Systems. 764 - Franco P. Preparata:
R70-28 A Note on Definite Stochastic Sequential Machines. 764-765 - J. Robert Jump:
R70-29 Uniform Synthesis of Sequential Circuits. 765 - Yueh-Hsung Su:
R70-30 Fuzzy Logic and Its Application to Switching Systems. 766 - Abraham Waksman:
R-70-31 A Generalized Firing Squad Problem. 766
Volume 19, Number 9, September 1970
- Per E. Danielsson:
Incremental Curve Generation. 783-793 - David J. Kuck:
A Preprocessing High-Speed Memory System. 793-802 - Walter R. Nordquist, Wing N. Toy:
A Novel Rotate and Shift Circuit Using Bidirectional Gates. 802-808 - V. Thomas Rhyne:
Serial Binary-to-Decimal and Decimal-to-Binary Conversion. 808-812 - Dimitris G. Maritsas, M. G. Hartley:
Design Criteria for a Generator of Repeatable Non-Poisson Sequences of Pseudorandom Pulses. 812-817 - Saburo Muroga, Teiichi Tsuboi, Charles R. Baugh:
Enumeration of Threshold Functions of Eight Variables. 818-825 - John W. Sammon Jr.:
An Optimal Discriminant Plane. 826-829 - John V. Wait:
State-Variable Techniques for Digital Simulation of Bandpass Systems. 830-831 - T. Janisz, R. C. Martin:
Interconnection of High-Speed Logic Circuits. 831-837 - William H. Kautz:
Bypass Switching for Cellular Cascades. 837-839 - Dimitris G. Maritsas, M. G. Hartley:
Buffer Length for Erlang Input and Constant Removal Rate. 839-843 - Marvin L. Stein, E. James Mundstock:
Sorting Implicit Outputs in Digital Simulation. 844-847 - Robert C. White Jr.:
A Fast Digital Computer Method for Recursive Estimation of the Mean. 847-850 - Keith W. Henderson:
Comment on "Computation of the Fast Walsh-Fourier Transform". 850-851 - Hans S. Witsenhausen:
Hybrid Solution of Partial Differential Equations. 851 - Harold S. Stone:
B70-4 Theory of Scheduling. 854-855 - Celso de Renna e Souza:
B70-5 Theories of Abstract Automata. 855-857 - Eric G. Wagner:
R70-32 Tessellation Automata. 857-858 - Azaria Paz:
R70-33 Fuzzy Events Realized by Finite Probabilistic Automata. 858 - James D. Bargainer:
R70-34 Unateness Test of a Boolean Function and Two General Synthesis Methods Using Threshold Logic. 858 - Dennis Tsichritzis:
R70-35 Classes of Automata and Transitive Closure. 858-859 - Stephen T. Hedetniemi:
R70-36 Maximin Automata. 859 - James H. Shelly:
R70-37 Extensions of Asynchronous Circuits and the Delay Problem I. Good Extensions and the Delay Problem of the First Kind. 859 - Karl N. Levitt:
R70-38 The Time Required for Group Multiplication. 859-860
Volume 19, Number 10, October 1970
- Wei Lai Chen, Lawrence P. McNamee:
Iterative Solution of Large-Scale Systems by Hybrid Techniques. 879-889 - Garold S. Tjaden, Michael J. Flynn:
Detection and Parallel Execution of Independent Instructions. 889-895 - Vinod Batra:
Design of Asynchronous Unit Delays. 896-902 - Helmut Berndt:
Functional Microprogramming as a Logic Design Aid. 902-907 - Edward P. Stabler:
Microprogram Transformations. 908-916 - Keinosuke Fukunaga, Warren L. G. Koontz:
A Criterion and an Algorithm for Grouping Data. 917-923 - Dimitris G. Maritsas, M. G. Hartley:
A Case Study of a Versatile Generator of Repeatable Non-Poisson Sequences of Pseudorandom Pulses. 924-938 - Boris Beizer:
Towards a New Theory of Sequential Switching Networks. 939-956 - Patrick J. Marino:
A Linear Decomposition for Sequential Machines. 956-963 - Zvonko G. Vranesic, E. Stewart Lee, Kenneth C. Smith:
A Many-Valued Algebra for Switching Systems. 964-971 - William H. Kautz:
A Readily Implemented Single-Error-Correcting Unit-Distance Counting Code. 972-975 - Jorge Santos, Héctor Arango:
A Graphic Method for the Synthesis of Threshold Ternary Functions. 975-976 - Frank M. Brown:
Reduced Solutions of Boolean Equations. 976-981 - D. P. Burton, M. C. Waters:
Comment on "Delay-Free Asynchronous Circuits with Constrained Line Delays". 982 - Edward S. Deutsch:
On Parallel Operations on Hexagonal Arrays. 982-983 - Akio Sasaki, Sadahisa Watanabe:
Comment on "Computer Simulation of Pulse Propagation Through a Periodic Loaded Transmission Line"1. 983 - Daniel Tabak:
B70-6 Computing Methods in Optimization Problems. 986 - Tsunehiko Kameda:
R70-39 On the Relational Homomorphisms of Automata. 987 - Sheldon B. Akers Jr.:
R70-40 Module Clustering to Minimize Delay in Digital Networks. 987-988 - Herbert Y. Chang:
R70-41 Diagnosis and Utilization of Faulty Universal Tree Circuits. 988-989 - Wayne A. Davis:
R70-42 Synthesis of Linear Sequential Machines with Unspecified Outputs. 989 - Raymond T. Yeh:
R70-43 Lattice Functions, Pair Algebras, and Finite-State Machines. 989 - Janusz A. Brzozowski:
R70-44 Synchronization and General Repetitive Machines, with Applications to Ultimate Definite Automata. 989-990 - Azaria Paz:
R70-45 On Decompositions of Regular Events. 990
Volume 19, Number 11, November 1970
- Mary Allen Wilkes:
Scroll Editing: An On-Line Algorithm for Manipulating Long Character Strings. 1009-1015 - Herbert L. Groginsky, George A. Works:
A Pipeline Fast Fourier Transform. 1015-1019 - George V. Podraza, Roland S. Gregg Jr., James R. Slager:
Efficient MSI Partitioning for a Digital Computer. 1020-1028 - Marvin Perlman:
The Decomposition of the States of a Linear Feedback Shift Register Into Cycles of Equal Length. 1029-1035 - Irving S. Reed, Albert C. L. Chiang:
Coding Techniques for Failure-Tolerant Counters. 1035-1038 - Melvin A. Breuer:
Functional Partitioning and Simulation of Digital Circuits. 1038-1046 - Chin Tung:
On the Apparent Continuity of Processing in a Paging Environment. 1047-1054 - David B. Cooper, John H. Freeman:
On the Asymptotic Improvement in the Out- come of Supervised Learning Provided by Additional Nonsupervised Learning. 1055-1063 - Charles R. Kime:
An Analysis Model for Digital System Diagnosis. 1063-1073 - Arthur Gill:
Single-Channel and Multichannel Finite-State Machines. 1073-1078 - Shin-ichi Murakami, Kozo Kinoshita, Hiroshi Ozaki:
Sequential Machines Capable of Fault Diagnosis. 1079-1085 - B. J. Austin:
Use of a Macro Processor in Logical Design. 1085-1089 - Michael Yoeli:
The Synthesis of Multivalued Cellular Cascades. 1089-1090 - Donald F. Dinn, David A. Winter, Brian G. Trenholm:
CINTEL - Computer Interface for Television. 1091-1095 - Robert W. Donaldson, Godfried T. Toussaint:
Use of Contextual Constraints in Recognition of Contour-Traced Handprinted Characters. 1096-1099 - Eugenio Morreale, Massimo Mennucci:
Computer Experience on Partitioned List Algorithms. IEEE Trans. Computers 19(11): 1099-1105 (1970) - Giuseppe Gestri:
Synthesis of Multiple Sequential Machines Having Different Inputs. 1105-1108 - Robert W. House, D. W. Stevens:
A New Rule for Reducing CC Tables. 1108-1111 - Antonio Grasselli, Ugo Montanari:
On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers. 1111-1114 - J. F. Sherlock:
The Simulation of a Multicomputer System. 1114-1118 - Sureshchander:
RST Flip-Flop Input Equations. 1118-1120
Volume 19, Number 12, December 1970
- Michel Y. L., Depeyrot:
Linear System Identification Using Real-Time Deconvolution. 1139-1145 - James R. Heath, Chester C. Carroll:
Special-Purpose Computer Organization for Double-Precision Realization of Digital Filters. 1146-1152 - Hugh J. Beuscher, Wing N. Toy:
Check Schemes for Integrated Microprogrammed Control and Data Transfer Circuitry. 1153-1159 - Edward P. Stabler:
System Description Languages. 1160-1173 - Mitsuhito Sakaguchi, Nobuo Nishida, Tadao Nemoto:
A New Associative Memory System Utilizing Holography. 1174-1181 - Iwao Morishita:
Analysis of an Adaptive Threshold Logic Unit. 1181-1192 - Taylor L. Booth:
Estimation, Prediction, and Smoothing in Discrete Parameter Systems. 1193-1203 - Abraham Lempel:
On a Homomorphism of the de Bruijn Graph and its Applications to the Design of Feedback Shift Registers. 1204-1209 - Herschell F. Murry:
A General Approach for Generating Natural Random Variables. 1210-1213 - Robert M. Storwick:
Improved Construction Techniques for (d, k) Graphs. 1214-1216 - Raymond R. Olson:
Note on Feedforward Inverses for Linear Sequential Circuits. 1216-1221 - Kripasindhu Sikdar:
Determination of Multipliers Mapping an Arbitrary Integer into a Range of Certain Type. 1221-1222 - Carl V. Page:
The Search for a Definition of Partition Pair for Stochastic Automata. 1222-1223 - Rangaswamy V. Setlur:
A Method to Determine the Expressive Power of a Set of Connectives. 1223-1225 - Abraham Waksman:
On the Complexity of Inversions. 1225-1226
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-26 18:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
