The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Haskell with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1937-1974 (16) 1975-1983 (16) 1984-1990 (18) 1991-1992 (20) 1993-1994 (34) 1995 (17) 1996 (15) 1997 (28) 1998 (31) 1999 (34) 2000 (51) 2001 (34) 2002 (58) 2003 (90) 2004 (66) 2005 (67) 2006 (90) 2007 (71) 2008 (80) 2009 (89) 2010 (49) 2011 (45) 2012 (49) 2013 (49) 2014 (54) 2015 (38) 2016 (53) 2017 (56) 2018 (54) 2019 (44) 2020 (45) 2021 (29) 2022 (32) 2023 (27) 2024 (7)
Publication types (Num. hits)
article(344) book(12) incollection(4) inproceedings(1146) phdthesis(26) proceedings(24)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1041 occurrences of 477 keywords

Results
Found 1588 publication records. Showing 1556 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
25Richard E. Haskell, Darrin M. Hanna, Kevin Van Sickle 3D Signature Biometrics Using Curvature Moments. Search on Bibsonomy IC-AI The full citation details ... 2006 DBLP  BibTeX  RDF
25Sabrina A. Haskell, Andrew Hosmer, Eugenia Leu An extensible platform for interactive, entertaining social experiences with an animatronic character. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25William Bosley, David Culyba, Brenda Harger, Sabrina A. Haskell, Andrew Hosmer, T. J. Jackson, Seema Patel, Christine Skarulis, Peter Stepniewicz, Jim Valenti, Salim Zayat, Eugenia Leu, Jichen Zhu Interbots initiative: an extensible platform for interactive social experiences with an animatronic character. Search on Bibsonomy SIGGRAPH Emerging Technologies The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell, Charles Lee, Darrin M. Hanna Geno-fuzzy classification trees. Search on Bibsonomy Pattern Recognit. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Adriana Dumitras, Barry G. Haskell An encoder-decoder texture replacement method with application to content-based movie coding. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell, Darrin M. Hanna A VHDL--Forth Core for FPGAs. Search on Bibsonomy Microprocess. Microsystems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Adriana Dumitras, Barry G. Haskell I/P/B frame type decision by collinearity of displacements. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  BibTeX  RDF
25Helen Langone, Benjamin R. Haskell, George A. Miller Annotating WordNet. Search on Bibsonomy FCP@NAACL-HLT The full citation details ... 2004 DBLP  BibTeX  RDF
25Adriana Dumitras, Barry G. Haskell A look-ahead method for pan and zoom detection in video sequences using block-based motion vectors in polar coordinates. Search on Bibsonomy ISCAS (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
25Darrin M. Hanna, Richard E. Haskell Implementing Software Programs in FPGAs Using Flowpaths. Search on Bibsonomy ESA/VLSI The full citation details ... 2004 DBLP  BibTeX  RDF
25Charles Lee, Darrin M. Hanna, Richard E. Haskell, Richard L. Alena Using Fuzzy Clustering for Real-time Space Flight Safety. Search on Bibsonomy IC-AI The full citation details ... 2004 DBLP  BibTeX  RDF
25Barry G. Haskell, Adriana Dumitras A texture replacement method at the encoder for bit-rate reduction of compressed video. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Amy Danko, Rosemary Kennedy, Robert E. Haskell, Ida M. Androwich, Patricia Button, Carol M. Correia, Susan J. Grobe, Marcelline R. Harris, Susan Matney, Daniel C. Russler Modeling nursing interventions in the act class of HL7 RIM Version 3. Search on Bibsonomy J. Biomed. Informatics The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Adriana Dumitras Enhancement of direct mode selection in B pictures for bit rate reduction of compressed video sequences. Search on Bibsonomy ICIP (3) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
25Darrin M. Hanna, Richard E. Haskell Using Flowpaths for the High-Level Synthesis of Reconfigurable Systems. Search on Bibsonomy Engineering of Reconfigurable Systems and Algorithms The full citation details ... 2003 DBLP  BibTeX  RDF
25Richard E. Haskell, Darrin M. Hanna Rapid Prototyping Using a Microprocessor Core on a Spartan II FPGA. Search on Bibsonomy Embedded Systems and Applications The full citation details ... 2003 DBLP  BibTeX  RDF
25Ping Li, Richard E. Haskell, Darrin M. Hanna Optimizing Fuzzy Decision Trees Using Genetic Algorithms. Search on Bibsonomy IC-AI The full citation details ... 2003 DBLP  BibTeX  RDF
25Barry G. Haskell, Adriana Dumitras A background modeling method by texture replacement and mapping with application to content-based movie coding. Search on Bibsonomy ICIP (1) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Adriana Dumitras Content-based movie coding - an overview. Search on Bibsonomy IEEE Workshop on Multimedia Signal Processing The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Adriana Dumitras, Barry G. Haskell An encoder-only texture replacement method for effective compression of entertainment movie sequences. Search on Bibsonomy ICASSP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Adriana Dumitras Simultaneous Color Clipping and Luminance Preserving for High Quality Entertainment Movie Coding. Search on Bibsonomy IEEE Pacific Rim Conference on Multimedia The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
25Raf Cluckers, Deirdre Haskell Grothendieck rings of Z-valued fields. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25E. Haskell, Duane Q. Nykamp, Daniel Tranchina A population density method for large-scale modeling of neuronal networks with realistic synaptic kinetics. Search on Bibsonomy Neurocomputing The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Glenn L. Cash, M. Reha Civanlar, Barry G. Haskell, David A. Kapilow, Richard V. Kollarits, Baldine B. Paul, Cassandra T. Swain Video Talks: A comprehensive multimedia conferencing system. Search on Bibsonomy Eur. Trans. Telecommun. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell, Darrin M. Hanna FPGA Integrated Co-Design. Search on Bibsonomy MSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Suzanne Bakken, James J. Cimino, Robert E. Haskell, Rita Kukafka, Cindi Matsumoto, Garrett K. Chan, Stanley M. Huff Research Paper: Evaluation of the Clinical LOINC (Logical Observation Identifiers, Names, and Codes) Semantic Structure as a Terminology Model for Standardized Assessment Measures. Search on Bibsonomy J. Am. Medical Informatics Assoc. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Christopher J. Trapnell, William C. Scarfe, Jeff H. Cook, Anibal M. Silveira, Frederick J. Regennitter, Bruce S. Haskell Diagnostic accuracy of film-based, TIFF, and wavelet compressed digital temporomandibular joint images. Search on Bibsonomy J. Digit. Imaging The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25M. Reha Civanlar, Glenn L. Cash, Richard V. Kollarits, Baldine B. Paul, Cassandra T. Swain, Barry G. Haskell, D. A. Kapilov IP-networked multimedia conferencing. Search on Bibsonomy IEEE Signal Process. Mag. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Abdelsalam Helal, Bert Haskell, Jeffery L. Carter, Richard S. Brice, Darrell Woelk, Marek Rusinkiewicz Any time, anywhere computing - mobile computing concepts and technology. Search on Bibsonomy 1999   RDF
25Atul Puri, Rainer L. Schmidt, Barry G. Haskell Implicit Arbitrary Shape Visual Objects Via Mpeg-4 Scene Description. Search on Bibsonomy ICIP (1) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Deirdre Haskell, Dugald Macpherson A Note on Valuation Definable Expansions of Fields. Search on Bibsonomy J. Symb. Log. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Paul G. Howard, Yann LeCun, Atul Puri, Jörn Ostermann, M. Reha Civanlar, Lawrence R. Rabiner, Léon Bottou, Patrick Haffner Image and video coding-emerging standards and beyond. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25M. Reha Civanlar, Glenn L. Cash, Barry G. Haskell AT&T's Error Resilient Video Transmission Technique. Search on Bibsonomy RFC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25M. Reha Civanlar, Glenn L. Cash, Barry G. Haskell RTP Payload Format for Bundled MPEG. Search on Bibsonomy RFC The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Richard V. Cox, Barry G. Haskell, Yann LeCun, Behzad Shahraray, Lawrence R. Rabiner On the applications of multimedia processing to communications. Search on Bibsonomy Proc. IEEE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
25Deirdre Haskell, Dugald Macpherson A Version of o-Minimality for the p-adics. Search on Bibsonomy J. Symb. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Tsuhan Chen, Cassandra T. Swain, Barry G. Haskell Coding of subregions for content-based scalable video. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Atul Puri, Richard V. Kollarits, Barry G. Haskell Basics of stereoscopic video, new compression results with MPEG-2 and a proposal for MPEG-4. Search on Bibsonomy Signal Process. Image Commun. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Where for art thou MPEG-4? Search on Bibsonomy Signal Process. Image Commun. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Cassandra T. Swain, Barry G. Haskell Color Balance for Video Conferencing. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF color balance, image correction, multiple video sources, luminance correction, hue correction, video conferencing, image colour analysis
25Richard V. Cox, Barry G. Haskell, Yann LeCun, Behzad Shahraray, Lawrence R. Rabiner On the Applications of Multimedia Processing to Telecommunications. Search on Bibsonomy ICIP (1) The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25K. H. Haskell, Z. H. Zhou, H. Spears Jr., W. Chiu, L. R. Scott Improved 3D Reconstruction of Virus Structures through Parallel Processing. Search on Bibsonomy PPSC The full citation details ... 1997 DBLP  BibTeX  RDF
25Tsuhan Chen, Cassandra T. Swain, Barry G. Haskell An approach to region coding for content-based scalable video. Search on Bibsonomy ICIP (3) The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Don E. Pearson, Yasuhiko Yasuda Editorial. Search on Bibsonomy Signal Process. Image Commun. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Tsuhan Chen, Hans Peter Graf, Barry G. Haskell, Eric Petajan, Yao Wang 0001, Homer H. Chen, Wu Chou Speech-assisted lip synchronization in audio-visual communications. Search on Bibsonomy ICIP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF audio-visual systems, audio-visual communications, speech-assisted lip synchronization, speech information, speech-assisted frame-rate conversion, talking head video coding, image processing, image processing, video coding, synchronisation, videoconferencing, teleconferencing, speech processing, speech analysis, videotelephony, video telephony
25Touradj Ebrahimi, Homer H. Chen, Barry G. Haskell A Region Based Motion Compensated Video Codec for Very Low Bitrate Applications. Search on Bibsonomy ISCAS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Bert Haskell Portable electronics packaging technologies. Search on Bibsonomy IEEE Micro The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Amy R. Reibman Multiplexing of variable rate encoded streams. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Shekar Rao, Bert Haskell, Ian Yee Trade-off analysis on cost and manufacturing technology of an electronic product: Case study. Search on Bibsonomy J. Electron. Test. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF analysis of PCB (printed circuit boards), Benchmarking, trade-off, redesign
25Deirdre Haskell, Dugald Macpherson Cell Decompositions of C-Minimal Structures. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Homer H. Chen, M. Reha Civanlar, Barry G. Haskell A Block Transform Coder for Arbitarily Shaped Image Segments. Search on Bibsonomy ICIP (1) The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Atul Puri, Li Yan, Barry G. Haskell Temporal Resolution Scalable Video Coding. Search on Bibsonomy ICIP (2) The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
25Atul Puri, Rangarajan Aravind, Barry G. Haskell Adaptive frame/field motion compensated video coding. Search on Bibsonomy Signal Process. Image Commun. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Hsueh-Ming Hang (eds.) Visual Communications and Image Processing '93, Cambridge, MA, USA, 7-12 November 1993 Search on Bibsonomy VCIP The full citation details ... 1993 DBLP  BibTeX  RDF
25Barry G. Haskell, Amy R. Reibman Variable bit-rate video coding for ATM and broadcast applications. Search on Bibsonomy ICASSP (1) The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Amy R. Reibman, Barry G. Haskell Constraints on variable bit-rate video for ATM networks. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Deirdre Haskell A Transfer Theorem in Constructive p-adic Algebra. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell Forth in mainsteam computer science courses. Search on Bibsonomy FORTH The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Paul Haskell, David G. Messerschmitt Resynchronization of motion compensated video affected by ATM cell loss. Search on Bibsonomy ICASSP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
25Hsueh-Ming Hang, Riccardo Leonardi, Barry G. Haskell, Robert L. Schmidt, Hemant Bheda, Joseph H. Othmer Digital HDTV compression using parallel motion-compensated transform coders. Search on Bibsonomy IEEE Trans. Circuits Syst. Video Technol. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Atul Puri, Rangarajan Aravind, Barry G. Haskell, Riccardo Leonardi Video coding with motion-compensated interpolation for CD-ROM applications. Search on Bibsonomy Signal Process. Image Commun. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Hsueh-Ming Hang, Riccardo Leonardi, Barry G. Haskell, Robert L. Schmidt, Hemant Bheda, Joseph H. Othmer Digital HDTV compression at 44 Mbps using parallel motion-compensated transform coders. Search on Bibsonomy VCIP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Paul Haskell, David G. Messerschmitt Reconstructing lost video data in a lapped orthogonal transform based coder. Search on Bibsonomy ICASSP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell, Ali Noui-Mehidi Design of Hierarchical Classifiers. Search on Bibsonomy Great Lakes Computer Science Conference The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25Paul Haskell, Kou-Hu Tzou, T. Russell Hsing A lapped-orthogonal-transform based variable bit-rate video coder for packet networks. Search on Bibsonomy ICASSP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
25Hsueh-Ming Hang, Barry G. Haskell Interpolative vector quantization of color images. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Interpolative, predictive and pyramid transform coding of color images. Search on Bibsonomy ICASSP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Don E. Pearson, Hideo Yamamoto Guest Editorial: Low Bit-Rate Coding of Moving Images. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Semicompatible High Definition Television Using Field Differential Signals. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
25Robert L. Schmidt, Barry G. Haskell, Kai Y. Eng, Stephen M. O'Riordan An experimental time-compression system for satellite television transmission. Search on Bibsonomy Proc. IEEE The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Kai Y. Eng, On-Ching Yue, Barry G. Haskell, Catherine R. Grimes A VCR-based access system for large pictorial databases. Search on Bibsonomy AT&T Tech. J. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Semi-Compatible High Definition Television Using Field Differential Signals. Search on Bibsonomy ICC (1) The full citation details ... 1984 DBLP  BibTeX  RDF
25Robert L. Schmidt, Barry G. Haskell Transmission of Two NTSC Color Television Signals Over a Single Satellite Transponder Via Time-Frequency Multiplexing. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell High Definition Television (HDTV)-Compatibility and Distribution. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Kai Y. Eng, Barry G. Haskell, Robert L. Schmidt Time-Compression Multiplexing (TCM) of three broadcast-quality TV signals on a satellite transponder. Search on Bibsonomy Bell Syst. Tech. J. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Kai Y. Eng, Barry G. Haskell Synchronization of noncolocated TV signals in a satellite Time-Compression Multiplexing system. Search on Bibsonomy Bell Syst. Tech. J. The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Marilyn M. Mantei, Nancy Haskell Autobiography of a first-time discretionary microcomputer user. Search on Bibsonomy CHI The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
25Richard J. Hanson, Karen H. Haskell Algorithm 587: Two Algorithms for the Linearly Constrained Least Squares Problem. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
25Karen H. Haskell, Richard J. Hanson An algorithm for linear least squares problems with equality and nonnegativity constraints. Search on Bibsonomy Math. Program. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Computer Simulation Results on Frequency Hopped MFSK Mobile Radio-Noiseless Case. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
25Raphael Haskell, Peter G. Harrison System Conventions for non Procedural Languages. Search on Bibsonomy Comput. J. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Pat L. Gordon, Robert L. Schmidt, James V. Scattaglia Interframe Coding of 525-Line, Monochrome Television at 1.5 Mbits/s. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Sampling Rate Conversion for NTSC Color Television. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Differential Addressing of Clusters of Changed Picture Elements for Interframe Coding of Videotelephone Signals. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
25Richard E. Haskell, David E. Boddy, Glenn A. Jackson Use of structured flowcharts in the undergraduate Computer Science curriculum. Search on Bibsonomy SIGCSE The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
25Raphael Haskell Efficient Implementation of a Class of Recursively Defined Functions. Search on Bibsonomy Comput. J. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell Entropy measurements for nonadaptive and adaptive, frame-to-frame, linear-predictive coding of videotelephone signals. Search on Bibsonomy Bell Syst. Tech. J. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
25Barry G. Haskell, Robert L. Schmidt A low-bit-rate interframe coder for videotelephone. Search on Bibsonomy Bell Syst. Tech. J. The full citation details ... 1975 DBLP  DOI  BibTeX  RDF
25Barin Geoffrey Haskell Frame-to-frame coding of television pictures using two-dimensional Fourier transforms (Corresp.). Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
25Raphael Haskell Symmetrical Precedence Relations on General Phrase Structure Grammars. Search on Bibsonomy Comput. J. The full citation details ... 1974 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry The Consistency of a System of Combinatory Restricted Generality. Search on Bibsonomy J. Symb. Log. The full citation details ... 1973 DBLP  DOI  BibTeX  RDF
25Raphael Haskell Formal languages: structure preserving maps and decidability properties. Search on Bibsonomy 1970   RDF
25Barin Geoffrey Haskell The computation and bounding of rate-distortion functions. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
25Curt John Ducasse, Haskell B. Curry Addendum to Early History of the Association for Symbolic Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1963 DBLP  DOI  BibTeX  RDF
25Curt John Ducasse, Haskell B. Curry Early History of the Association for Symbolic Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1962 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry The System LD. Search on Bibsonomy J. Symb. Log. The full citation details ... 1952 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry The Permutability of Rules in the Classical Inferential Calculus. Search on Bibsonomy J. Symb. Log. The full citation details ... 1952 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry The Elimination Theorem When Modality is Present. Search on Bibsonomy J. Symb. Log. The full citation details ... 1952 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry On the Definition of Negation by a Fixed Proposition in Inferential Calculus. Search on Bibsonomy J. Symb. Log. The full citation details ... 1952 DBLP  DOI  BibTeX  RDF
25Haskell B. Curry The Inconsistency of Certain Formal Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1942 DBLP  DOI  BibTeX  RDF
Displaying result #601 - #700 of 1556 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license